Formal Modeling and Analysis of Timed Systems
Nathalie Bertrand
Paperback
Not Available
Quantitative Evaluation of Systems