|
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 |
|
|