Magdalena Kacprzak, Alessio Lomuscio, Wojciech Penczek. Verification of Multiagent Systems via Unbounded Model Checking. In 3rd International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2004), 19-23 August 2004, New York, NY, USA. pages 638-645, IEEE Computer Society, 2004. [doi]
@inproceedings{KacprzakLP04:0,
title = {Verification of Multiagent Systems via Unbounded Model Checking},
author = {Magdalena Kacprzak and Alessio Lomuscio and Wojciech Penczek},
year = {2004},
url = {http://csdl.computer.org/comp/proceedings/aamas/2004/2092/02/20920638abs.htm},
tags = {model checking, meta-model, Meta-Environment},
researchr = {https://researchr.org/publication/KacprzakLP04%3A0},
cites = {0},
citedby = {0},
pages = {638-645},
booktitle = {3rd International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2004), 19-23 August 2004, New York, NY, USA},
publisher = {IEEE Computer Society},
isbn = {1-58113-864-4},
}