Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und SystemenDaniel GroßeUitverkochtHou mij op de hoogte
