%0 Thesis %1 phd/hal/Maiga15 %A Maïga, Oumar %D 2015 %K %T An integrated language for the specification, simulation, formal analysis and enactment of discrete event systems. (Un langage intégré pour la spécification, simulation, analyse formelle et en-action des systèmes à événements discrets).

@phdthesis{phd/hal/Maiga15, added-at = {2023-12-13T04:43:24.000+0100}, author = {Maïga, Oumar}, biburl = {https://www.bibsonomy.org/bibtex/27d17360975b1f3dbdaa3eaa8c1e1711d/admin}, ee = {https://tel.archives-ouvertes.fr/tel-01330780}, interhash = {9980428991fc3dbc25a210706f28ef3e}, intrahash = {7d17360975b1f3dbdaa3eaa8c1e1711d}, keywords = {}, school = {Blaise Pascal University, Clermont-Ferrand, France}, timestamp = {2023-12-13T04:43:24.000+0100}, title = {An integrated language for the specification, simulation, formal analysis and enactment of discrete event systems. (Un langage intégré pour la spécification, simulation, analyse formelle et en-action des systèmes à événements discrets).}, year = 2015 }