Sign in
  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%253A Model Checking Priced Probabilistic Timed Autom…
Fortuna%253A Model Checking Priced Probabilistic Timed Automata
Fortuna%253A Model Checking Priced Probabilistic Timed Automata
eBook
Fortuna%253A Model Checking Priced Probabilistic Timed Automata
Authors: J.
Page: 273-281
Published: 2010
ISBN: 9780769541884
  Full text availability for this item
View Full Text Source:2010 Seventh International Conference on the Quantitative Evaluation of Systems,2010 Seventh International Conference on the Quantitative Evaluation of Systems,IEEE/IET Electronic Library (IEL) Opens in new Window
Collection:  IEEE/IET Electronic Library (IEL) Opens in new Window
Coverage:
  • 2010
  Request a copy of this item
Cite this item