Alessio Lomuscio, Franco Raimondi. The complexity of model checking concurrent programs against CTLK specifications. In Hideyuki Nakashima, Michael P. Wellman, Gerhard Weiss, Peter Stone, editors, 5th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2006), Hakodate, Japan, May 8-12, 2006. pages 548-550, ACM, 2006. [doi]
@inproceedings{LomuscioR06a,
title = {The complexity of model checking concurrent programs against CTLK specifications},
author = {Alessio Lomuscio and Franco Raimondi},
year = {2006},
doi = {10.1145/1160633.1160733},
url = {http://doi.acm.org/10.1145/1160633.1160733},
tags = {meta programming, model checking, meta-model, Meta-Environment},
researchr = {https://researchr.org/publication/LomuscioR06a},
cites = {0},
citedby = {0},
pages = {548-550},
booktitle = {5th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2006), Hakodate, Japan, May 8-12, 2006},
editor = {Hideyuki Nakashima and Michael P. Wellman and Gerhard Weiss and Peter Stone},
publisher = {ACM},
isbn = {1-59593-303-4},
}