Temporal Logic in Specification
Temporal Logic in Specification 1987: Altrincham, UK
Behnam Banieqbal, Howard Barringer, Amir Pnueli (Eds.): Temporal Logic in Specification, Altrincham, UK, April 8-10, 1987, Proceedings. Springer 1989 Lecture Notes in Computer Science 398 ISBN 3-540-51803-7 [ contents ]
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-16T203152 by the dblp team