Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und SystemenDominik StoffelÉpuiséPrévenez-moi
