TY  - BOOK
AU  - Gabbay D M
ED  - International Conference on Temporal Logic( 1st : 1994 : Bonn )
ED  - International Conference on Temporal Logic 1st
TI  - Temporal logic : proceedings
SN  - 0-387-58241-X
U1  - 5.131 
PY  - 1994///
CY  - Berlin
PB  - Springer Verlag
KW  - Computer science
KW  - Temporal logic
ER  -