Ein Verfahren zur Verifikation hochkomplexer Randbedingungen beim IC-Entwurf
Freuer, Jan and Jerke, G. and Schäfer, A. and Hahn, K. and Brück, R. and Nassaj, A. and Nebel, W.
Tagungsband der ANALOG 2006
01 / 2006
inproceedings
OFFIS Autoren
