The temporal logic of reactive and concurrent systems
By: Zohar Manna, Amir Pnueli.
Contributors: Pnueli, A.
Publisher: Springer-Verlag
Published: 1992
Place of publication: New York
Language: eng
Subjects: Computer programming; Logic, Symbolic and mathematical
Notes: Includes bibliographical references (p. 389-401) and indexes.
Table of contents: title: [1] Specification.