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-4612-6950-2

ISBN (Electronic): 978-1-4612-0931-7

Publication date (Print): 1992

DOI: 10.1007/978-1-4612-0931-7

SO-VID: 5dc3c367-d1c4-486b-b27d-e903c8508c36

License:

http://www.springer.com/tdm

History

Data availability:

Comments

Comment on this book

Book chapters

Cited by 156

Linear Time Logic Control of Discrete-Time Linear Systems
Authors: Paulo Tabuada, George Pappas
Hybrid Systems
Authors: Robert Grossman, Anil Nerode, Anders Ravn …
Synthesizing Monitors for Safety Properties
Authors: Klaus Havelund, Grigore Rosu

See all cited by

The Temporal Logic of Reactive and Concurrent Systems

Read this book at