%0 Thesis %1 phd/hal/Jourdan94 %A Jourdan, Muriel %D 1994 %K %T Etude d'un environnement de programmation et de vérification des systèmes réactifs, multi-langages et multi-outils. (A multiparadigm langage and multi-tools environment for programming and verifying reactive systems).

@phdthesis{phd/hal/Jourdan94, added-at = {2023-12-13T10:44:36.000+0100}, author = {Jourdan, Muriel}, biburl = {https://www.bibsonomy.org/bibtex/208eae980a071be5f7fffcac881dbc954/admin}, ee = {https://tel.archives-ouvertes.fr/tel-00005099}, interhash = {da6d698f33fcfda89760bf2257cc1b12}, intrahash = {08eae980a071be5f7fffcac881dbc954}, keywords = {}, school = {Joseph Fourier University, Grenoble, France}, timestamp = {2023-12-13T10:44:36.000+0100}, title = {Etude d'un environnement de programmation et de vérification des systèmes réactifs, multi-langages et multi-outils. (A multiparadigm langage and multi-tools environment for programming and verifying reactive systems).}, year = 1994 }