Informationssystem der Otto-Friedrich-Universität Bamberg © Config eG
Sammlung/Stundenplan Home  |  Anmelden  |  Kontakt  |  Hilfe  Suche: Personen Einrichtungen sonstige Einträge Lehrveranstaltungen Räume
Darstellung   Druckansicht      Außerdem im UnivIS   Vorlesungsverzeichnis     Veranstaltungskalender	Einrichtungen >> Fakultät Wirtschaftsinformatik / Angewandte Informatik >> Bereich Informatik >> Professur für Grundlagen der Informatik >> 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. UnivIS ist ein Produkt der Config eG, Buckenhof