Formal Modeling and Analysis of Timed Systems
2 contributors - Paperback
£44.99
Quantitative Evaluation of Systems
