Informationssystem der Otto-Friedrich-Universität Bamberg
© Config eG
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