TY  - BOOK
AU  - Gabbay,Dov M.
AU  - Hodkinson,Ian
AU  - Reynolds,Mark
AU  - Finger,Marcelo
TI  - Temporal logic: mathematical foundations and computational aspects 
SN  - 0198537697 
U1  - 511.3 GAB H 
PY  - 1994///
CY  - Oxford, New York
PB  - Clarendon Press, Oxford University Press
KW  - Computer programming
KW  - Logic, Symbolic and mathematical
KW  - Temporal Logic
KW  - Mathematical Foundations
ER  -