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