Temporal logic in specification : Altrincham, UK, April 8-10, 1987 : proceedings /

Bibliographic Details

Corporate Author:	Colloquium on Temporal Logic in Specification
Other Authors:	Banieqbal, B. (Behnam), 1960-, Barringer, Howard, 1951-, Pnueli, Amir, 1941-2009
Format:	Conference Proceeding Book
Language:	English
Published:	Berlin ; New York : Springer-Verlag, [1989]
Series:	Lecture notes in computer science ; 398.
Subjects:	System design. Logic, Symbolic and mathematical.