TY  - RPRT
TI  - Transformation von Scade-Modellen zur SMT-basierten Verifikation
AU  - Henning Basold
PY  - 2014
UR  - https://arxiv.org/abs/1403.2752
ID  - 1403.2752
ER  -