- Record: found
- Abstract: not found
- Book Chapter: not found
Reachability Analysis of Probabilistic Systems by Successive Refinements
other
August 30 2001
Read this book at
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
Most cited references15
- Record: found
- Abstract: not found
- Book Chapter: not found
Model checking of probabilistic and nondeterministic systems
Andrea Bianco, Luca Alfaro (1995)
- Record: found
- Abstract: not found
- Book Chapter: not found
It usually works: The temporal logic of stochastic systems
Adnan Aziz, Vigyan Singhal, Felice Balarin … (1995)