TY  - BOOK
AU  - Fisher, Michael
TI  - Introduction to practical formal methods using temporal logic
SN  - 9780470027882
CY  - New york
KW  - Temporal automata
KW  - Logic symbolic and mathematical
ER  -