TY  - BOOK
AU  - Fisher,Michael
ED  - ProQuest (Firm)
TI  - An introduction to practical formal methods using temporal logic
SN  - 9781119991489
AV  - QA267.5.T45 F57 2011
U1  - 511.3 22
PY  - 2011///
CY  - Chichester, West Sussex, U.K., Hoboken, N.J.
PB  - Wiley
KW  - Temporal automata
KW  - Logic, Symbolic and mathematical
KW  - Electronic books
N1  - Includes bibliographical references and index
UR  - https://ebookcentral.proquest.com/lib/kuct-ebooks/detail.action?docID=698529
ER  -