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 15

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

Binary Decision Diagrams

Akers (1978)

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

Bookmark

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

Automata on Infinite Objects

Wolfgang Thomas (1990)

0 comments Cited 83 times – based on 0 reviews

Bookmark

All references

Author and book information

Book Chapter

Publication date (Print): 1999

Publication date (Online): September 17 1999

Pages: 253-271

DOI: 10.1007/3-540-48119-2_16

SO-VID: 97461012-671e-4ae7-9162-a75495827373

History

Data availability:

Comments

Comment on this book

Book chapters

Cited by 29

A Note on On-the-Fly Verification Algorithms
Authors: Stefan Schwoon, Javier Esparza
A Generic Cyclic Theorem Prover
Authors: James Brotherston, Nikos Gorogiannis, Rasmus L Petersen
LTL Satisfiability Checking
Authors: Kristin Y. Rozier, Moshe Vardi

See all cited by

On-the-fly Verification of Linear Temporal Logic

Read this book at

Related collections

ScienceOpen Research

Most cited references 15

The complexity of propositional linear temporal logics

Binary Decision Diagrams

Automata on Infinite Objects

Author and book information

Book Chapter

History

Comments

Comment on this book

Book chapters

Similar content 1,089

Cited by 29