Mathematical techniques for analyzing concurrent and probabilistic systems - Providence, R.I. : American Mathematical Society, c2004. - 1 online resource (viii, 215 p. : ill.) - CRM Monograph Series, v. 23 2472-5145 ; .

Includes bibliographical references (p. 209-215).

9781470438678 (online)


System analysis.