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

Strict Divergence for Probabilistic Timed Automata

other

Author(s): Jeremy Sproston

Publication date (Print): 2009

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

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

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
Book: not found

Denumerable Markov Chains

John G. Kemeny, J. Laurie Snell, Anthony Knapp (1976)

0 comments Cited 61 times – based on 0 reviews

Bookmark

All references

Author and book information

Book Chapter

Publication date (Print): 2009

Pages: 620-636

DOI: 10.1007/978-3-642-04081-8_41

SO-VID: 578eb83d-a2c5-4a33-a8f9-542e97874532

History

Data availability:

Strict Divergence for Probabilistic Timed Automata

Read this book at

Related collections

ScienceOpen Research

Most cited references 12

A logic for reasoning about time and reliability

Model checking of probabilistic and nondeterministic systems

Denumerable Markov Chains

Author and book information

Book Chapter

History

Comments

Comment on this book

Book chapters

Similar content 3,053

Cited by 2