Jamal Bentahar, Bernard Moulin, John-Jules Ch. Meyer. A New Model Checking Approach for Verifying Agent Communication Protocols. In Proceedings of the Canadian Conference on Electrical and Computer Engineering, CCECE 2007, May 7, 10, 2006, Ottawa Congress Centre, Ottawa, Canada. pages 1586-1590, IEEE, 2006. [doi]
@inproceedings{BentaharMM06,
title = {A New Model Checking Approach for Verifying Agent Communication Protocols},
author = {Jamal Bentahar and Bernard Moulin and John-Jules Ch. Meyer},
year = {2006},
doi = {10.1109/CCECE.2006.277640},
url = {http://dx.doi.org/10.1109/CCECE.2006.277640},
tags = {model checking, meta-model, protocol, Meta-Environment, systematic-approach},
researchr = {https://researchr.org/publication/BentaharMM06},
cites = {0},
citedby = {0},
pages = {1586-1590},
booktitle = {Proceedings of the Canadian Conference on Electrical and Computer Engineering, CCECE 2007, May 7, 10, 2006, Ottawa Congress Centre, Ottawa, Canada},
publisher = {IEEE},
}