OLDEROG, Ernst-Rudiger <br/><br/>
Real-time Systems  Formal Specification and Automatic Verfication 

 - United State of America  Cambridge  2008 
 - xvi,320pp  Illustration  25cm 
<br/><br/><label>ISBN: </label>9780521883337 
<br/><br/><label>Subjects--Topical Terms: </label>
<br/><br/><label>Dewey Class. No.: </label>004.33 OLD