Edit search
2010 Seventh International Conference on the Quantitative Ev…
2010 Seventh International Conference on the Quantitative Evaluation of Systems
2010 Seventh International Conference on the Quantitative Evaluation of Systems
Fortuna%3A Model Checking Priced Probabilistic Timed Automat…
Fortuna%3A Model Checking Priced Probabilistic Timed Automata
Fortuna%3A Model Checking Priced Probabilistic Timed Automata
eBook
Fortuna%3A Model Checking Priced Probabilistic Timed Automata
Authors: J.
Page: 273-281
Published: 2010
ISBN: 9780769541884
  Full text availability for this item
  Request a copy of this item
Cite this item