Ein einheitlicher Ansatz zur Unterstützung von Abstraktionsmechanismen der Hardware-Verifikation von Klaus Schneider | ISBN 9783896011169