Banieqbal, B. Ed. Barringer, H. Ed. Pnueli, A. Ed.
Temporal Logic in Specification Proceedings, Altrincham, UK, 1987 - Berlin Springer Verlag 1989 - 448p - Lecture notes in computer science ; 00398 .
3540518037
Temporal Logic
Specification
681 LNCS
Temporal Logic in Specification Proceedings, Altrincham, UK, 1987 - Berlin Springer Verlag 1989 - 448p - Lecture notes in computer science ; 00398 .
3540518037
Temporal Logic
Specification
681 LNCS