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

On-the-fly Verification of Linear Temporal Logic

other

Author(s): Jean-Michel Couvreur

Publication date (Online): September 17 1999

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 15

Record: found
Abstract: not found
Article: not found

The complexity of propositional linear temporal logics

A. Sistla, E. Clarke (1985)

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

Bookmark

Record: found
Abstract: not found
Article: not found

Binary Decision Diagrams

Akers (1978)

0 comments Cited 102 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:

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,160

Cited by 29