000			00682nmm a2200181Ia 4500
008			230426s9999||||xx |||||||||||||||||und||
020			_a9781470438678 (online)
245		0	_aMathematical techniques for analyzing concurrent and probabilistic systems
260			_aProvidence, R.I. : _bAmerican Mathematical Society, _cc2004.
300			_a1 online resource (viii, 215 p. : ill.)
490			_aCRM Monograph Series, _vv. 23 _x2472-5145 ;
504			_aIncludes bibliographical references (p. 209-215).
650			_aSystem analysis.
700			_aBreugel, Franck van,
700			_aPanangaden, P.
700			_aRutten, J. J. M. M.
856			_uhttps://doi.org/10.1090/crmm/023
999			_c31816 _d31816