BibTeX-Export: 1 Datensatz f{\"u}r alle [global]

@phdthesis{TUW-136648,
    author = {Vilanek, Johann},
    title = {Zur Rolle der Verifikation im Designprozess digitaler integrierter Schaltungen},
    school = {Institut f{\"u}r Technische Informatik},
    year = {2001}
}


1 Datensatz ausgegeben