TY  - RPRT
TI  - Modeling and Validating Hybrid Systems Using VDM and Mathematica
AU  - Bernhard K. Aichernig
AU  - Reinhold Kainhofer
PY  - 2004
UR  - https://arxiv.org/abs/cs/0407050
ID  - cs/0407050
ER  -