Marina Bagic, Aleksandar Babac, Marijan Kunstic. Verification of communication protocols in a multi-agent system. In Richard Chbeir, Youakim Badr, Ajith Abraham, Dominique Laurent, Mario Köppen, Fernando Ferri, Lotfi A. Zadeh, Yukio Ohsawa, editors, CSTST 2008: Proceedings of the 5th International Conference on Soft Computing as Transdisciplinary Science and Technology, Cergy-Pontoise, France, October 28-31, 2008. pages 286-291, ACM, 2008. [doi]
@inproceedings{BagicBK08,
title = {Verification of communication protocols in a multi-agent system},
author = {Marina Bagic and Aleksandar Babac and Marijan Kunstic},
year = {2008},
doi = {10.1145/1456223.1456283},
url = {http://doi.acm.org/10.1145/1456223.1456283},
tags = {protocol},
researchr = {https://researchr.org/publication/BagicBK08},
cites = {0},
citedby = {0},
pages = {286-291},
booktitle = {CSTST 2008: Proceedings of the 5th International Conference on Soft Computing as Transdisciplinary Science and Technology, Cergy-Pontoise, France, October 28-31, 2008},
editor = {Richard Chbeir and Youakim Badr and Ajith Abraham and Dominique Laurent and Mario Köppen and Fernando Ferri and Lotfi A. Zadeh and Yukio Ohsawa},
publisher = {ACM},
isbn = {978-1-60558-046-3},
}