Formal Methods for Real-Time and Probabilistic Systems
-
häftad
,
Engelska, 1999