TY  - DATA
AU  - Breugel, Franck van,
AU  - Panangaden, P.
AU  - Rutten, J. J. M. M.
TI  - Mathematical techniques for analyzing concurrent and probabilistic systems 
T2  - CRM Monograph Series, 
SN  - 9781470438678 (online)
PY  - 2004///
CY  - Providence, R.I.
PB  - American Mathematical Society
KW  - System analysis
N1  - Includes bibliographical references (p. 209-215)
UR  - https://doi.org/10.1090/crmm/023
ER  -