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.
Includes bibliographical references (p. 209-215).
9781470438678 (online)
System analysis.