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): 1996

Publication date (Online): June 3 2005

Pages: 269-276

DOI: 10.1007/3-540-61474-5_75

SO-VID: 444fbdda-8002-43bb-9b3a-c4d9c9039132

History

Data availability:

Comments

Comment on this book

Book chapters

Cited by 40

Probabilistic symbolic model checking with PRISM: a hybrid approach
Authors: Gethin Norman, David Parker, Marta Kwiatkowska
Probabilistic Verification of Discrete Event Systems Using Acceptance Sampling
Authors: Håkan L. S. Younes, Reid G. Simmons
Numerical vs. statistical probabilistic model checking
Authors: Marta Kwiatkowska, Gethin Norman, David Parker …

See all cited by

Verifying continuous time Markov chains

Read this book at