Tools and Algorithms for the Construction and Analysis of Systems

This book constitutes the refereed proceedings ...

Computer Aided Verification

This book constitutes the refereed proceedings ...

CONCUR 2006 - Concurrency Theory

This book constitutes the refereed proceedings ...

Measurement, Modelling and Evaluation of Computing Systems

This book constitutes the proceedings of the 20...

Validation of Stochastic Systems

Interactive Markov Chains

Markov Chains are widely used as stochastic mod...

Lectures on Formal Methods and Performance Analysis

Traditionally, models and methods for the analy...

Process Algebra and Probabilistic Methods: Performance Modeling and Verification

This volume contains the proceedings of the sec...

Dependable Software Engineering. Theories, Tools, and Applications

This book constitutes the proceedings of the 9t...

Interactive Markov Chains

Markov Chains are widely used as stochastic mod...

Computer Aided Verification

This volume contains the proceedings of the Int...

Lectures on Formal Methods and Performance Analysis

Traditionally, models and methods for the analy...