2010 Seventh International Conference on the Quantitative Ev…
2010 Seventh International Conference on the Quantitative Evaluation of Systems
Fortuna%253A Model Checking Priced Probabilistic Timed Autom…
Fortuna%253A Model Checking Priced Probabilistic Timed Automata
eBook
Full text availability for this item
Coverage:
- 2010