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 21

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

Model checking of probabilistic and nondeterministic systems

Andrea Bianco, Luca Alfaro (1995)

0 comments Cited 94 times – based on 0 reviews

Bookmark

Record: found
Abstract: not found
Article: not found

Reactive, Generative, and Stratified Models of Probabilistic Processes

R.J. Vanglabbeek, S.A. Smolka, B Steffen (1995)

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

Bookmark

Record: found
Abstract: not found
Article: not found

A probabilistic PDL

Dexter Kozen (1985)

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

Bookmark

All references

Author and book information

Book Chapter

Publication date (Print): 1999

Publication date (Online): April 19 2002

Pages: 258-273

DOI: 10.1007/3-540-48320-9_19

SO-VID: eed4bd4a-ca4b-449f-b0e7-32835a14a264

History

Data availability:

Comments

Comment on this book

Book chapters

Cited by 24

See all cited by

Metrics for Labeled Markov Systems

Read this book at

Related collections

Metrics and Research Assessment

Most cited references 21

Model checking of probabilistic and nondeterministic systems

Reactive, Generative, and Stratified Models of Probabilistic Processes

A probabilistic PDL

Author and book information

Book Chapter

History

Comments

Comment on this book

Book chapters

Similar content 3,771

Cited by 24