000 00266nam a22000857a 4500
008 131101b xxu||||| |||| 00| 0 eng d
020 _a9780470027882
_cAvailable
050 _a511.3FIS
245 _aAn Introduction toPractical Formal Methods Using Temporal Logic
_cFisher Michael
999 _c23470
_d23470