KIT | KIT-Bibliothek | Impressum

The exact solution of timing verification

Bolender, Edgar; Lipp, Hans Martin



Zugehörige Institution(en) am KIT Institut für Technik der Informationsverarbeitung (ITIV)
Publikationstyp Buchaufsatz
Jahr 1992
Sprache Englisch
Identifikator KITopen ID: 133192
Erscheinungsvermerk In: Proceedings of the European Design Automation Conference (EURO-DAC), Hamburg 1992. Los Alamitos 1992. S. 132-137.
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft KITopen Landing Page