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 25

Record: found
Abstract: not found
Article: not found

The model checker SPIN

G.J. Holzmann (1997)

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

Bookmark

Record: found
Abstract: not found
Article: not found

Finite Automata and Their Decision Problems

M. Rabin, Richard D Scott (1959)

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

Bookmark

Record: found
Abstract: not found
Article: not found

The complementation problem for Büchi automata with applications to temporal logic

A. Sistla, Moshe Vardi, Pierre Wolper (1987)

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

Bookmark

All references

Author and book information

Book Chapter

Pages: 12-22

DOI: 10.1007/978-3-540-70918-3_2

SO-VID: 630b4f02-9b34-4673-a960-9e3fc85d5490

History

Data availability:

Comments

Comment on this book

Book chapters

Cited by 11

See all cited by

The Büchi Complementation Saga

Read this book at

Related collections

ScienceOpen Research

Most cited references 25

The model checker SPIN

Finite Automata and Their Decision Problems

The complementation problem for Büchi automata with applications to temporal logic

Author and book information

Book Chapter

History

Comments

Comment on this book

Book chapters

Similar content 1,515

Cited by 11