UnivIS
Informationssystem der Otto-Friedrich-Universität Bamberg © Config eG 
Zur Titelseite der Universität Bamberg
  Sammlung/Stundenplan Home  |  Anmelden  |  Kontakt  |  Hilfe 
Suche:       
 
 Darstellung
 
Druckansicht

 
 
 Außerdem im UnivIS
 
Vorlesungsverzeichnis

 
 
Veranstaltungskalender

 
 
Einrichtungen >> Fakultät Wirtschaftsinformatik / Angewandte Informatik >> Bereich Informatik >> Professur für Grundlagen der Informatik >>
Lüttgen, G. ; Mendler, Michael:
What is in a Step: A fully abstract semantics for Statecharts macro steps via intuitionistic Kripke models .
Sheffield : University of Sheffield. 2000
(CS-00-04). - Interner Bericht. 48 Seiten
UnivIS ist ein Produkt der Config eG, Buckenhof