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