Funktionelle Verifikation synchroner, digitaler Systeme - Knoth, Uwe; Zimmermann, Christoph (1991)
Keywords: Hochschulschrift