TY  - BOOK
AU  - Kleuker, Stephan
AU  - Kleuker,Stephan
TI  - Formale Modelle der Softwareentwicklung: Model-Checking, Verifikation, Analyse und Simulation
SN  - 9783834806697
PY  - 2009///
CY  - Wiesbaden
PB  - Vieweg+Teubner
KW  - Modelle
KW  - Softwareentwicklung
ER  -