Temporal logic in specification : Altrincham, UK, April 8-10, 1987 : proceedings
Author(s)
Bibliographic Information
Temporal logic in specification : Altrincham, UK, April 8-10, 1987 : proceedings
（Lecture notes in computer science, 398）
Springer-Verlag, c1989
- : gw
- : us
Available at 55 libraries
-
Library, Research Institute for Mathematical Sciences, Kyoto University数研
L/N||LNCS||39889068496
Note
Based on papers presented at the Colloquium on Temporal Logic in Specification
Includes bibliographical references