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. Lecture Notes in Computer Science 398 Springer 1989, ISBN 3-540-51803-7
Contents

Last update Fri May 25 08:43:13 2012 CET by the DBLP Team —

This material is Open Data

Data released under the ODC-BY 1.0 license — See also our legal information page