TY  - BOOK
TI  - An Introduction toPractical Formal Methods Using Temporal Logic
SN  - 9780470027882
AV  - 511.3FIS 
ER  -