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 24

Record: found
Abstract: not found
Article: not found

The ins and outs of the probabilistic model checker MRMC

David Jansen, Holger Hermanns, Ernst Hahn … (2011)

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

Bookmark

Record: found
Abstract: not found
Conference Proceedings: not found

On Probabilistic Automata in Continuous Time

Christian Eisentraut, Holger Hermanns, Lijun Zhang (2010)

0 comments Cited 23 times – based on 0 reviews

Bookmark

Record: found
Abstract: not found
Conference Proceedings: not found

Faster and Dynamic Algorithms For Maximal End-Component Decomposition And Related Graph Problems In Probabilistic Verification

Krishnendu Chatterjee, Monika Henzinger (2011)

0 comments Cited 19 times – based on 0 reviews

Bookmark

All references

Author and book information

Book Chapter

Publication date (Print): 2014

Pages: 168-184

DOI: 10.1007/978-3-319-11936-6_13

SO-VID: 19691460-78e8-4c9c-9f5e-78986adff774

History

Data availability:

Comments

Comment on this book

Book chapters

Cited by 9

See all cited by

Modelling and Analysis of Markov Reward Automata

Read this book at

Related collections

Software for SAXS correction and analysis

Most cited references 24

The ins and outs of the probabilistic model checker MRMC

On Probabilistic Automata in Continuous Time

Faster and Dynamic Algorithms For Maximal End-Component Decomposition And Related Graph Problems In Probabilistic Verification

Author and book information

Book Chapter

History

Comments

Comment on this book

Book chapters

Similar content 4,590

Cited by 9