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 14

Record: found
Abstract: not found
Article: not found

The complexity of propositional linear temporal logics

A. Sistla, E. Clarke (1985)

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

Bookmark

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

On the temporal analysis of fairness

Jonathan Stavi, Amir Pnueli, Saharon Shelah … (1980)

0 comments Cited 67 times – based on 0 reviews

Bookmark

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

Probabilistic Verification of Discrete Event Systems Using Acceptance Sampling

Håkan L. S. Younes, Reid G. Simmons (2002)

0 comments Cited 41 times – based on 0 reviews

Bookmark

All references

Author and book information

Book Chapter

Publication date (Print): 2003

Pages: 251-265

DOI: 10.1007/978-3-540-45187-7_17

SO-VID: 6d3b9617-bf54-4e2a-9c02-8b0816f98d43

History

Data availability:

Comments

Comment on this book

Book chapters

Cited by 9

See all cited by

Model Checking a Path

Read this book at

Related collections

Path of Science

Most cited references 14

The complexity of propositional linear temporal logics

On the temporal analysis of fairness

Probabilistic Verification of Discrete Event Systems Using Acceptance Sampling

Author and book information

Book Chapter

History

Comments

Comment on this book

Book chapters

Similar content 2,343

Cited by 9