Steven Shapiro, Yves Lespérance, Hector J. Levesque. The cognitive agents specification language and verification environment for multiagent systems. In The First International Joint Conference on Autonomous Agents & Multiagent Systems, AAMAS 2002, July 15-19, 2002, Bologna, Italy, Proceedings. pages 19-26, ACM, 2002. [doi]
@inproceedings{ShapiroLL02,
title = {The cognitive agents specification language and verification environment for multiagent systems},
author = {Steven Shapiro and Yves Lespérance and Hector J. Levesque},
year = {2002},
doi = {10.1145/544741.544746},
url = {http://doi.acm.org/10.1145/544741.544746},
tags = {meta-model, Meta-Environment, meta-objects},
researchr = {https://researchr.org/publication/ShapiroLL02},
cites = {0},
citedby = {0},
pages = {19-26},
booktitle = {The First International Joint Conference on Autonomous Agents & Multiagent Systems, AAMAS 2002, July 15-19, 2002, Bologna, Italy, Proceedings},
publisher = {ACM},
}