Record: found
Abstract: not found
Book Chapter: not found

Process Algebra and Probabilistic Methods: Performance Modeling and Verification 

Reduction and Refinement Strategies for Probabilistic Analysis

other

Author(s): Pedro R. D’Argenio , Bertrand Jeannet , Henrik E. Jensen , Kim G. Larsen

Publication date (Online): July 4 2002

Publisher: Springer Berlin Heidelberg

Read this book at

Publisher

Buy book

Bookmark

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 references 12

Record: found
Abstract: not found
Article: not found

The model checker SPIN

G.J. Holzmann (1997)

0 comments Cited 226 times – based on 0 reviews      Review now

Bookmark

Record: found
Abstract: not found
Article: not found

A logic for reasoning about time and reliability

Hans-Christen Hansson, Bengt-Harald Jonsson (1994)

0 comments Cited 210 times – based on 0 reviews      Review now

Bookmark

Record: found
Abstract: not found
Book Chapter: not found

Reachability Analysis of Probabilistic Systems by Successive Refinements

Pedro R. D’Argenio, Bertrand Jeannet, Henrik E. Jensen … (2001)

0 comments Cited 25 times – based on 0 reviews

Bookmark

All references

Author and book information

Book Chapter

Publication date (Print): 2002

Publication date (Online): July 4 2002

Pages: 57-76

DOI: 10.1007/3-540-45605-8_5

SO-VID: 80af29c2-2559-448d-a000-7da4da393bb0

History

Data availability:

Reduction and Refinement Strategies for Probabilistic Analysis

Read this book at

Related collections

Model Reduction of Parametrized Systems 2015

Most cited references 12

The model checker SPIN

A logic for reasoning about time and reliability

Reachability Analysis of Probabilistic Systems by Successive Refinements

Author and book information

Book Chapter

History

Comments

Comment on this book

Book chapters

Similar content 3,155

Cited by 10