Informationssystem der Otto-Friedrich-Universität Bamberg © Config eG
Sammlung/Stundenplan Home  |  Anmelden  |  Kontakt  |  Hilfe  Suche: Personen Einrichtungen sonstige Einträge Lehrveranstaltungen Räume          Lehr- veranstaltungen     Personen/ Einrichtungen     Räume     Telefon & E-Mail
Darstellung   Druckansicht      Außerdem im UnivIS   Vorlesungsverzeichnis     Veranstaltungskalender	Einrichtungen >> Fakultät Wirtschaftsinformatik / Angewandte Informatik >> Lock, Th. ; Mendler, Michael ; Mutz, M.: Combined formal post- and presynthesis verification in high level synthesis . In: Gopalakrishnan, G. ; Windley, Ph. (Hrsg.) : International Conference on Formal Methods in Computer-Aided Design (FMCAD '98). Berlin u.a. : Springer, 1998, (LNCS Bd. 1522), S. 222-236. Institution: Professur für Grundlagen der Informatik UnivIS ist ein Produkt der Config eG, Buckenhof