Gemeinsamer Tagungsband / 5. GI-ITG-GMM-Workshop Methoden des Entwurfs und der Verifikation Digitaler Systeme und Austrochip '97Richard HagelauerAgotado4,3Notifícame