V�ctor Braberman, Laurent Fribourg
Formal Modeling and Analysis of Timed Systems
- Springer 2013
- Lecture Notes in Computer Science .
9783642402296
Logics and Meanings of Programs; Software Engineering; Probability and Statistics in Computer Science