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 >> Margaria, T. ; Mendler, Michael: Automatic treatment of sequential circuits in second-order monadic logic . In: Straube, B. (Hrsg.) : GI/ITG/GME Workshop Methoden des Entwurfs und der Verifikation Digitaler Systeme. Aachen : Shaker, 1996, S. 21-30. UnivIS ist ein Produkt der Config eG, Buckenhof