ISBN 3540518037 books & textbook
Temporal Logic in Specification: Altrincham, UK, April 8-10, 1987, Proceedings (Lecture Notes in Computer Science, 398)
Banieqbal, Behnam Barringer, Howard Pnueli, Amir
Springer /1989-10-11 Paperback / 460 Pages
isbn-10: 3540518037 / isbn-13: 9783540518037
