Mathematical Techniques for Analyzing Concurrent and Probabilistic Systems (Crm Monograph Series)

by Marta Kwiatkowska, Gethin Norman, and David Parker J. J. M. M. Rutten

Hardcover

details (United States).

ISBN: 978-0-8218-3571-5

ISBN-10: 0-8218-3571-8

American Mathematical Society, Centre de Recherches Mathematiques · 2004