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

Verification, Model Checking, and Abstract Interpretation 

Approximate Probabilistic Model Checking

other

Author(s): Thomas Hérault , Richard Lassaigne , Frédéric Magniette , Sylvain Peyronnet

Publication date (Print): 2004

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 20

Record: found
Abstract: not found
Book: not found

Randomized Algorithms

Rajeev Motwani, Prabhakar Raghavan (1995)

0 comments Cited 281 times – based on 0 reviews

Bookmark

Record: found
Abstract: not found
Article: not found

Probability Inequalities for Sums of Bounded Random Variables

Wassily Hoeffding (1963)

0 comments Cited 252 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

All references

Author and book information

Book Chapter

Publication date (Print): 2004

Pages: 73-84

DOI: 10.1007/978-3-540-24622-0_8

SO-VID: ca4bf41f-bb69-4ced-832b-839f2c5be0b1

History

Data availability:

Approximate Probabilistic Model Checking

Read this book at

Related collections

Business Model Innovation in engineering

Most cited references 20

Randomized Algorithms

Probability Inequalities for Sums of Bounded Random Variables

A logic for reasoning about time and reliability

Author and book information

Book Chapter

History

Comments

Comment on this book

Book chapters

Similar content 2,961

Cited by 29