%0 Conference Paper %1 conf/compsac/AyedS08 %A Ayed, Leila Jemni Ben %A Siala, Fatma %B COMPSAC %D 2008 %I IEEE Computer Society %K dblp %P 581-584 %T From AUML Protocol Diagrams to Event B for the Specification and the Verification of Interaction Protocols in Multi-agent Systems. %U http://dblp.uni-trier.de/db/conf/compsac/compsac2008.html#AyedS08 %@ 978-0-7695-3262-2

@inproceedings{conf/compsac/AyedS08, added-at = {2023-03-24T00:00:00.000+0100}, author = {Ayed, Leila Jemni Ben and Siala, Fatma}, biburl = {https://www.bibsonomy.org/bibtex/2658d3329a7cda4cff7b616d00e82e1d8/dblp}, booktitle = {COMPSAC}, crossref = {conf/compsac/2008}, ee = {https://doi.ieeecomputersociety.org/10.1109/COMPSAC.2008.176}, interhash = {aae8c2c6a89589aa28bcb3ce0b056f63}, intrahash = {658d3329a7cda4cff7b616d00e82e1d8}, isbn = {978-0-7695-3262-2}, keywords = {dblp}, pages = {581-584}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T20:19:11.000+0200}, title = {From AUML Protocol Diagrams to Event B for the Specification and the Verification of Interaction Protocols in Multi-agent Systems.}, url = {http://dblp.uni-trier.de/db/conf/compsac/compsac2008.html#AyedS08}, year = 2008 }