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 >> Luettgen, G ; Mendler, Michael: Statecharts: From visual syntax to model-theoretic semantics . In: Bauknecht, K. ; Brauer, W. ; Mueck, Th. (Hrsg.) : Wirtschaft und Wissenschaft in der Network Economy-Visionen und Wirklichkeit (Workshop on Integrating Diagrammatic and Formal Specification Techniques, Vienna, September 2001). Bd. 1. Wien : Austrian Computer Society, 2001, S. 615-621. UnivIS ist ein Produkt der Config eG, Buckenhof