%0 Thesis %1 phd/hal/Graja15 %A Graja, Zeineb %D 2015 %K %T Vérification formelle des systèmes multi-agents auto-adaptatifs. (Formal verification of self-adaptive multi-agent systems).

@phdthesis{phd/hal/Graja15, added-at = {2023-12-13T03:14:01.000+0100}, author = {Graja, Zeineb}, biburl = {https://www.bibsonomy.org/bibtex/29c8247e6a11c843890b5a163b707ce7c/admin}, ee = {https://tel.archives-ouvertes.fr/tel-01320778}, interhash = {88f570e15cd4be850a941abc98d195b4}, intrahash = {9c8247e6a11c843890b5a163b707ce7c}, keywords = {}, school = {Paul Sabatier University, Toulouse, France}, timestamp = {2023-12-13T03:14:01.000+0100}, title = {Vérification formelle des systèmes multi-agents auto-adaptatifs. (Formal verification of self-adaptive multi-agent systems).}, year = 2015 }