Cover Image

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.
Description
Physical Description:viii, 215 pages : illustrations ; 26 cm.
Bibliography:Includes bibliographical references (pages 209-215).
ISBN:0821835718 (alk. paper)
ISSN:1065-8599 ;