Ein einheitlicher Ansatz zur Unterstützung von Abstraktionsmechanismen der Hardware-VerifikationKlaus SchneiderÉpuisé4,3Prévenez-moi
