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): 2001

Pages: 545-623

DOI: 10.1016/B978-044482830-9/50027-8

SO-VID: 5d0223d8-d8f7-47fa-82b4-de34d2610cf0

License:

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

History

Data availability:

Comments

Comment on this book

Book chapters

Cited by 19

Model-Checking
Authors: Markus Müller-Olm, David Schmidt, Bernhard Steffen
An Automata-Theoretic Approach to Reasoning about Infinite-State Systems
Authors: Orna Kupferman, Moshe Vardi
Symbolic Model Checking of Infinite-State Systems Using Narrowing
Authors: Santiago Escobar, José Meseguer

See all cited by

Verification on Infinite Structures

Read this book at