Mathematical techniques for analyzing concurrent and probabilistic systems /
Rutten, J. J. M. M.
Panangaden, P.(Prakash)
Breugel, Franck van,1966-
Providence, R.I. : American Mathematical Society,
c2004.
Includes bibliography.
System analysis.