Temporal logic in specification
Subtitle: Altrincham, UK, April 8-10, 1987 : proceedings
By: B. Banieqbal, H. Barringer, A. Pnueli (eds.).
Contributors: Banieqbal, B. 1960-; Barringer, Howard, 1951-; Pnueli, A.; Colloquium on Temporal Logic in Specification (1987 : Altrincham, England)
Series: Lecture notes in computer science ;; 398
Publisher: Springer-Verlag; Springer
Published: 1989
Place of publication: Berlin; New York
Language: eng
Number of pages: 448
Subjects: System design.; Logic, Symbolic and mathematical.
Notes: Includes bibliographical references.
Based on papers presented at the Colloquium on Temporal Logic in Specification.