Search

Bibtex

Farid Mokhati, Brahim Sahraoui, Soufiane Bouzaher, Mohamed Tahar Kimour, A Tool for Specifying and Validating Agents' Interaction Protocols: From Agent UML to Maude

Back