Mohamed El-Menshawy, Jamal Bentahar, Warda El Kholy, Rachida Dssouli. Reducing model checking commitments for agent communication to model checking ARCTL and GCTL*. Autonomous Agents and Multi-Agent Systems, 27(3):375-418, 2013. [doi]
@article{El-MenshawyBKD13,
title = {Reducing model checking commitments for agent communication to model checking ARCTL and GCTL*},
author = {Mohamed El-Menshawy and Jamal Bentahar and Warda El Kholy and Rachida Dssouli},
year = {2013},
doi = {10.1007/s10458-012-9208-7},
url = {http://dx.doi.org/10.1007/s10458-012-9208-7},
researchr = {https://researchr.org/publication/El-MenshawyBKD13},
cites = {0},
citedby = {0},
journal = {Autonomous Agents and Multi-Agent Systems},
volume = {27},
number = {3},
pages = {375-418},
}