TY  - THES
AU  - Hirsch, Martin
DA  - 2008
DP  - Universität Paderborn
LA  - ger
N1  - Paderborn, Univ., Diss., 2008
PB  - Veröffentlichungen der Universität
PY  - 2008
T2  - Institut für Informatik
TI  - Modell-basierte Verifikation von vernetzten mechatronischen Systemen
UR  - https://nbn-resolving.org/urn:nbn:de:hbz:466-20081103011
Y2  - 2026-02-07T11:18:12
ER  -