J. J. M. M. Rutten, Marta Kwiatkowska, Gethin Norman, and David Parker books & textbook
Mathematical Techniques for Analyzing Concurrent and Probabilistic Systems (Crm Monograph Series, 23)
J. J. M. M. Rutten, Marta Kwiatkowska, Gethin Norman, and David Parker J. J. M. M. Rutten Prakash Panangaden Franck van Breugel Franck Van Breugel
American Mathematical Society, Centre de Recherches Mathematiques /2004-03-09 Hardcover / 215 Pages
isbn-10: 0821835718 / isbn-13: 9780821835715
