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]
Abstract is missing.