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 >> Kelb, P. ; Margaria, T. ; Mendler, Michael ; Gsottberger, C.: MOSEL: A flexible toolset for monadic second-order logic . In: Brinksma, E. (Hrsg.) : Proceedings Third International Workshop on Tools and Algorithms for the Construction and Analysis of Systems (TACAS '97). Berlin u.a. : Springer, 1997, (LNCS Bd. 1217), S. 183-202. UnivIS ist ein Produkt der Config eG, Buckenhof