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

Don’t Know in Probabilistic Systems

other

Author(s): Harald Fecher , Martin Leucker , Verena Wolf

Publication date (Print): 2006

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 10

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

Modal Transition Systems: A Foundation for Three-Valued Program Analysis

Michael Huth, Radha Jagadeesan, David Schmidt (2001)

0 comments Cited 17 times – based on 0 reviews

Bookmark

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

Reduction and Refinement Strategies for Probabilistic Analysis

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

0 comments Cited 10 times – based on 0 reviews

Bookmark

All references

Author and book information

Book Chapter

Publication date (Print): 2006

Pages: 71-88

DOI: 10.1007/11691617_5

SO-VID: 75ad9678-7628-47bf-9ee0-074ed9707768

License:

http://www.springer.com/tdm

History

Data availability:

Don’t Know in Probabilistic Systems

Read this book at

Related collections

Socioecological systems

Most cited references 10

A logic for reasoning about time and reliability

Modal Transition Systems: A Foundation for Three-Valued Program Analysis

Reduction and Refinement Strategies for Probabilistic Analysis

Author and book information

Book Chapter

History

Comments

Comment on this book

Book chapters

Similar content 4,804

Cited by 21