Leila Jemni Ben Ayed, Fatma Siala. From AUML Protocol Diagrams to Event B for the Specification and the Verification of Interaction Protocols in Multi-agent Systems. In Proceedings of the 32nd Annual IEEE International Computer Software and Applications Conference, COMPSAC 2008, 28 July - 1 August 2008, Turku, Finland. pages 581-584, IEEE Computer Society, 2008. [doi]
Abstract is missing.