TY  - BOOK
AU  - Banieqbal B Ed.
AU  -  Barringer H Ed.
AU  -  Pnueli A Ed.
TI  - Temporal logic in specification
T2  - Lecture notes in computer science; 398
U1  - D65,8(B):5:(R1), M9 
PY  - 1989///
CY  - Berlin
PB  - Springer Verlag      
KW  - Database
ER  -