Ein einheitlicher Ansatz zur Unterstützung von Abstraktionsmechanismen der Hardware-VerifikationKlaus SchneiderUitverkocht4,3Volgen