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 >> Luettgen, G. ; Mendler, Michael: Fully-abstract statecharts semantics via intuitionistic Kripke models . In: Montanari, U. ; Rolim, J. ; Welzl, E. (Hrsg.) : 27th Int'l Colloquium on Automata, Languages and Programming (ICALP 2000). Berlin u.a. : Springer, 2000, S. 163-174. (LNCS Bd. 1853) Institution: Professur für Grundlagen der Informatik UnivIS ist ein Produkt der Config eG, Buckenhof