Kleuker, Stephan <br/><br/>
Formale Modelle der Softwareentwicklung :  Model-Checking, Verifikation, Analyse und Simulation 
Stephan Kleuker 
 - 1. Aufl. 
 - Wiesbaden  Vieweg+Teubner  2009 
 - 301 S. 
<br/><br/><label>ISBN: </label>9783834806697  Spende 
<br/><br/><label>Subjects--Index Terms: </label>Modelle Softwareentwicklung