Entwurfsverifikation mit Computer Design Language - Version Munich.

Friedhelm Mndemann, Winfried Hahn, Kristian Fischer

Browse the full GI paper archive.