Advanced automation in formal verification of processors

Verfasser / Beitragende:
Ulrich Kühne
Ort, Verlag, Jahr:
Aachen : Shaker Verlag, 2009
Beschreibung:
173 S. : Ill.
Format:
Buch (Hochschulschrift)
ID: 170889238