Seyedehmehrnaz Mireslami, Behrouz H. Far. Automated verification of AUML based multi-agent system design. In 26th IEEE Canadian Conference on Electrical and Computer Engineering CCECE 2013, Regina, SK, Canada, May 5-8, 2013. pages 1-4, IEEE, 2013. [doi]
@inproceedings{MireslamiF13, title = {Automated verification of AUML based multi-agent system design}, author = {Seyedehmehrnaz Mireslami and Behrouz H. Far}, year = {2013}, doi = {10.1109/CCECE.2013.6567818}, url = {http://dx.doi.org/10.1109/CCECE.2013.6567818}, researchr = {https://researchr.org/publication/MireslamiF13}, cites = {0}, citedby = {0}, pages = {1-4}, booktitle = {26th IEEE Canadian Conference on Electrical and Computer Engineering CCECE 2013, Regina, SK, Canada, May 5-8, 2013}, publisher = {IEEE}, isbn = {978-1-4799-0031-2}, }