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

ISBN (Print): 978-1-4613-6399-6

ISBN (Electronic): 978-1-4615-3190-6

Publication date (Print): 1993

DOI: 10.1007/978-1-4615-3190-6

SO-VID: 5f2a1b6c-0a20-4d6c-af6b-bd9630a92fec

License:

http://www.springer.com/tdm

History

Data availability:

Comments

Comment on this book

Book chapters

Cited by 165

The model checker SPIN
Authors: G.J. Holzmann
Automatic symbolic verification of embedded systems
Authors: Pei-Hsin Ho, R. Alur, T.A. Henzinger
Linear Time Logic Control of Discrete-Time Linear Systems
Authors: Paulo Tabuada, George Pappas

See all cited by

Symbolic Model Checking

Read this book at