TY  - BOOK
AU  - 32
TI  - METHODEN DES ENTWURFS UND DER VERIFIKATION DIGITALER SYSTEME
SN  - 3853208266
ER  -