|
Reinhardt, T. ; Mendler, Michael ; Stroup, T.: Die formale Validierung einer "Bausteintafel" delay-insensitiver Grundelemente
. In: M. Glesner (Hrsg.) : Rechnergestützter Entwurf und Architektur mikroelektronischer Systeme (ITG-Fachbericht). Berlin und Offenbach : VDE Verlag, 1992, S. 273-274.
Institution: Professur für Grundlagen der Informatik
|
|
|
|
UnivIS ist ein Produkt der Config eG, Buckenhof |
|
|