TY  - BOOK
AU  - Ruf, Jürgen
AU  - Ruf,Jürgen
TI  - Techniken zur Modellierung und Verifikation von Echtzeitsystemen
SN  - 3897223252
PY  - 1999///
CY  - Berlin
PB  - Logos-Verlag
KW  - Qualitätssicherung
ER  -