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
Authors:
J.
Page:
273-281
Published:
2010
ISBN:
9780769541884
We were unable to find direct full text links for this item.