KIT | KIT-Bibliothek | Impressum | Datenschutz

Symbol checking for real-time circuits and specifications

Froessl, Jürgen; Gerlach, J.; Kropf, Thomas



Zugehörige Institution(en) am KIT Institut für Rechnerentwurf und Fehlertoleranz (IRF)
Sonderforschungsbereich 358 (SFB 358)
Publikationstyp Buchaufsatz
Publikationsjahr 1995
Sprache Englisch
Identifikator KITopen-ID: 311595
Erscheinungsvermerk In: Proceedings. ACM International Workshop of Timing Issues in the Specification and Synthesis of Digital Systems, Seattle, Wash. 1995. S. 5-16.
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page