Aissam Belghiat, Allaoua Chaoui. A multi-paradigm approach to model and verify mobile agent software systems. Multiagent and Grid Systems, 14(4):337-356, 2018. [doi]
@article{BelghiatC18, title = {A multi-paradigm approach to model and verify mobile agent software systems}, author = {Aissam Belghiat and Allaoua Chaoui}, year = {2018}, doi = {10.3233/MGS-180295}, url = {https://doi.org/10.3233/MGS-180295}, researchr = {https://researchr.org/publication/BelghiatC18}, cites = {0}, citedby = {0}, journal = {Multiagent and Grid Systems}, volume = {14}, number = {4}, pages = {337-356}, }