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