%0 Journal Article %1 journals/siu/El-ZaherCGGK12 %A El-Zaher, Madeleine %A Contet, Jean-Michel %A Gruer, Pablo %A Gechter, Franck %A Koukam, Abderrafiaa %D 2012 %J Stud. Inform. Univ. %K dblp %N 3 %P 119-141 %T Compositional verification for reactive multi-agent systems applied to platoon non collision verification. %U http://dblp.uni-trier.de/db/journals/siu/siu10.html#El-ZaherCGGK12 %V 10

@article{journals/siu/El-ZaherCGGK12, added-at = {2013-03-18T00:00:00.000+0100}, author = {El-Zaher, Madeleine and Contet, Jean-Michel and Gruer, Pablo and Gechter, Franck and Koukam, Abderrafiaa}, biburl = {https://www.bibsonomy.org/bibtex/2fff6fd2d290f91b1972bdec60e4b621e/dblp}, ee = {http://studia.complexica.net/index.php?option=com_content&view=article&id=226%3Acompositional-verication-for-reactive-multi-agent-systems-applied-to-platoon-non-collision-verication-pp-119-141}, interhash = {6e65530413e2ad30f2856656adaab651}, intrahash = {fff6fd2d290f91b1972bdec60e4b621e}, journal = {Stud. Inform. Univ.}, keywords = {dblp}, number = 3, pages = {119-141}, timestamp = {2013-08-13T13:17:54.000+0200}, title = {Compositional verification for reactive multi-agent systems applied to platoon non collision verification.}, url = {http://dblp.uni-trier.de/db/journals/siu/siu10.html#El-ZaherCGGK12}, volume = 10, year = 2012 }