Fisher,Michael  <br/><br/>
An introduction to practical formal methods using temporal logic / 
Michael Fisher 
 - Hoboken, N.J :   Wiley,  2011 
 - vii, 353 p. :   ill. ;  25 cm 
<br/><br/>Include bibliography reference and index 
<br/><br/><label>ISBN: </label>9780470027882 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Temporal automata.<br/>Logic, Symbolic and mathematical.
<br/><br/><label>LC Class. No.: </label>QA267.5 T45  / .F57 2011