Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und SystemenDominik StoffelUitverkocht4,3Hou mij op de hoogte