TY  - THES
AU  - Schilling, Daniela
DA  - 2006
DP  - Universität Paderborn
LA  - ger
N1  - Paderborn, Univ., Diss., 2006
PB  - Veröffentlichungen der Universität
PY  - 2006
T2  - Institut für Informatik
TI  - Kompositionale Softwareverifikation mechatronischer Systeme
UR  - https://nbn-resolving.org/urn:nbn:de:hbz:466-2007021951
Y2  - 2026-01-12T17:11:26
ER  -