%0 Thesis %1 phd/hal/Contet09 %A Contet, Jean-Michel %D 2009 %K %T Modèles multi-agents réactifs pour la navigation multi-véhicules : spécification formelle et vérification. (Reactive multi-agent models for the multi-vehicle navigation problem: formal specification and verification).

@phdthesis{phd/hal/Contet09, added-at = {2023-12-12T18:41:19.000+0100}, author = {Contet, Jean-Michel}, biburl = {https://www.bibsonomy.org/bibtex/25aa816f27db70a1879ed90fe5dfb8fa7/admin}, ee = {https://tel.archives-ouvertes.fr/tel-00472415}, interhash = {15d98b92313295a05fe79de3b67c6986}, intrahash = {5aa816f27db70a1879ed90fe5dfb8fa7}, keywords = {}, school = {Université de technologie de Belfort-Montbéliard, France}, timestamp = {2023-12-12T18:41:19.000+0100}, title = {Modèles multi-agents réactifs pour la navigation multi-véhicules : spécification formelle et vérification. (Reactive multi-agent models for the multi-vehicle navigation problem: formal specification and verification).}, year = 2009 }