TY  - BOOK
AU  - Barringer, H.Ed.,Fisher,M.Ed.
AU  - Gabbay, Dov. Ed.
AU  - Gouchi, Graham. Ed.
TI  - Advances in Temporal Logic : (ALS 16)
SN  - 0 7923 6149 0
CY  - Netherlands
KW  - Temporal Logic
ER  -