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 BibTeX
Copyright © Sat May 16 23:43:50 2009
by Michael Ley (ley@uni-trier.de)
