Luettgen, G. ; Mendler, Michael:
Towards a Model Theory for Esterel
.
In: Maraninchi, F. ; Girault, A. ; Rutten, E. (Hrsg.) : Synchronous Languages and Applications
(SLAP`02, Grenoble, April 2002). Bd. 65.
Tulane : Elsevier Science Publ., 2002, S. 15 Seiten. (Electronic Notes in Theoretical Computer Science)
Institution: Professur für Grundlagen der Informatik
|
|