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