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

Author and book information

Book Chapter

Publication date (Print): 1990

Pages: 133-191

DOI: 10.1016/B978-0-444-88074-1.50009-3

SO-VID: 8fb5a16f-f6a9-43e9-b263-ea9289bc4ff7

License:

https://www.elsevier.com/tdm/userlicense/1.0/

History

Data availability:

Comments

Comment on this book

Book chapters

Cited by 83

The model checker SPIN
Authors: G.J. Holzmann
The state explosion problem
Authors: Antti Valmari
Automatic presentations of structures
Authors: Bakhadyr Khoussainov, Anil Nerode

See all cited by

Automata on Infinite Objects

Read this book at