Mathematical techniques for analyzing concurrent and probabilistic systems /

Bibliographic Details

Other Authors:	Rutten, J. J. M. M., Panangaden, P. (Prakash), Breugel, Franck van, 1966-
Format:	Book
Language:	English
Published:	Providence, R.I. : American Mathematical Society, [2004]
Series:	CRM monograph series. v. 23.
Subjects:	System analysis.