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