Lectures on Formal Methods and Performance Analysis : First EEF/Euro Summer School on Trends in Computer Science Berg en Dal, The Netherlands, July 3- (Paperback)

Dependable Software Engineering. Theories, Tools, and Applications: 5th International Symposium, Setta 2019, Shanghai, China, November 27-29, 2019, Pr (Paperback, 2019)

Principles of Model Checking (Hardcover)

Process Algebra and Probabilistic Methods: Performance Modeling and Verification: Second Joint International Workshop Papm-Probmiv 2002, Copenhagen, D (Paperback, 2002)

Lectures on Formal Methods and Performance Analysis: First Eef/Euro Summer School on Trends in Computer Science Berg En Dal, the Netherlands, July 3-7 (Paperback, 2001)