Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und SystemenJens BrandtUitverkochtHou mij op de hoogte
