There is no author summary for this book yet. Authors can add summaries to their books on ScienceOpen to make them more accessible to a non-specialist audience.

Related collections

Author and book information

Book Chapter

Publication date (Print): 1995

Publication date (Online): May 31 2005

Pages: 499-513

DOI: 10.1007/3-540-60692-0_70

SO-VID: db4a2854-cabb-4b6f-90dd-505446360e33

History

Data availability:

Comments

Comment on this book

Book chapters

Cited by 94

Probabilistic symbolic model checking with PRISM: a hybrid approach
Authors: Gethin Norman, David Parker, Marta Kwiatkowska
Automatic verification of real-time systems with discrete probability distributions
Authors: Marta Kwiatkowska, Gethin Norman, Roberto Segala …
Approximative Symbolic Model Checking of Continuous-Time Markov Chains
Authors: Christel Baier, Joost-Pieter Katoen, Holger Hermanns

See all cited by

Model checking of probabilistic and nondeterministic systems

Read this book at