Mohamed El-Menshawy, Wei Wan, Jamal Bentahar, Rachida Dssouli. Symbolic model checking for agent interactions. In Wiebe van der Hoek, Gal A. Kaminka, Yves Lespérance, Michael Luck, Sandip Sen, editors, 9th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2010), Toronto, Canada, May 10-14, 2010, Volume 1-3. pages 1555-1556, IFAAMAS, 2010. [doi]
@inproceedings{El-MenshawyWBD10,
title = {Symbolic model checking for agent interactions},
author = {Mohamed El-Menshawy and Wei Wan and Jamal Bentahar and Rachida Dssouli},
year = {2010},
doi = {10.1145/1838206.1838478},
url = {http://doi.acm.org/10.1145/1838206.1838478},
tags = {model checking, meta-model, Meta-Environment},
researchr = {https://researchr.org/publication/El-MenshawyWBD10},
cites = {0},
citedby = {0},
pages = {1555-1556},
booktitle = {9th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2010), Toronto, Canada, May 10-14, 2010, Volume 1-3},
editor = {Wiebe van der Hoek and Gal A. Kaminka and Yves Lespérance and Michael Luck and Sandip Sen},
publisher = {IFAAMAS},
isbn = {978-0-9826571-1-9},
}