Fisher, Michael,  1962- <br/><br/>
An introduction to practical formal methods using temporal logic  [electronic resource] / 
Michael Fisher. 
 - Chichester, West Sussex, U.K. ;  Hoboken, N.J. :  Wiley,  c2011. 
 - vii, 353 p. :  ill. 
<br/><br/>Includes bibliographical references and index. 
<br/><br/><label>ISBN: </label>9781119991489 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Temporal automata.<br/>Logic, Symbolic and mathematical.
<br/><br/><label>Index Terms--Genre/Form: </label><br/>Electronic books.
<br/><br/><label>LC Class. No.: </label>QA267.5.T45  / F57 2011 
<br/><br/><label>Dewey Class. No.: </label>511.3