TY  - BOOK
AU  - Galton Antony
TI  - Temporal logics and their applications
U1  - 005.131 
PY  - 1987///
CY  - London
PB  - Academic Press
KW  - Computer science
KW  - Temporal logic
ER  -