TY  - THES
AU  - Metzler, Björn
DA  - 2010
DP  - Universität Paderborn
LA  - eng
N1  - Paderborn, Univ., Diss., 2010
PB  - Veröffentlichungen der Universität
PY  - 2010
SP  - XI, 248 S. : graph. Darst.
T2  - Institut für Informatik
TI  - Decomposition for compositional verification
UR  - https://nbn-resolving.org/urn:nbn:de:hbz:466-20100507012
Y2  - 2024-12-27T01:18:36
ER  -