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 
Copyright © Sun Nov 15 05:15:23 2009
by Michael Ley (ley@uni-trier.de)
