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