Ruf, Jürgen <br/><br/>
Techniken zur Modellierung und Verifikation von Echtzeitsystemen 
Jürgen Ruf 
 - 1. Auflage 
 - Berlin  Logos-Verlag  1999 
 - 230 S. 
<br/><br/><label>ISBN: </label>3897223252  DM 79,- 
<br/><br/><label>Subjects--Index Terms: </label>Qualitätssicherung