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

Publication date (Online): April 10 2002

Pages: 200-204

DOI: 10.1007/3-540-46029-2_13

SO-VID: c36d0b9b-59d7-4598-a139-1595e7f5f3d0

History

Data availability:

Comments

Comment on this book

Book chapters

Cited by 44

Numerical vs. statistical probabilistic model checking
Authors: Marta Kwiatkowska, Gethin Norman, David Parker …
On Statistical Model Checking of Stochastic Systems
Authors: Koushik Sen, Mahesh Viswanathan, Gul Agha
Symbolic and Parametric Model Checking of Discrete-Time Markov Chains
Authors: Conrado Daws

See all cited by

PRISM: Probabilistic Symbolic Model Checker

Read this book at