TY  - BOOK
AU  - Rutten, J. J. M. M. 
TI  - Mathematical techniques for analyzing concurrent and probabilistic systems
PY  - 2004///
CY  - USA
PB  - AMS
ER  -