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 >> Margaria, T. ; Mendler, Michael: Model-based automatic synthesis and analysis in second-order monadic logic . In: ACM SIG-PLAN (Veranst.): Proceedings Workshop on Automated Analysis of Software (AAS'97, Paris, January 1997). Paris : ACM, 1997, S. 99-112. Institution: Professur für Grundlagen der Informatik UnivIS ist ein Produkt der Config eG, Buckenhof