Alexei Sharpanskykh, Jan Treur. Verifying Interlevel Relations Within Multi-Agent Systems. In Gerhard Brewka, Silvia Coradeschi, Anna Perini, Paolo Traverso, editors, ECAI 2006, 17th European Conference on Artificial Intelligence, August 29 - September 1, 2006, Riva del Garda, Italy, Including Prestigious Applications of Intelligent Systems (PAIS 2006), Proceedings. Volume 141 of Frontiers in Artificial Intelligence and Applications, pages 290-294, IOS Press, 2006.
@inproceedings{SharpanskykhT06,
title = {Verifying Interlevel Relations Within Multi-Agent Systems},
author = {Alexei Sharpanskykh and Jan Treur},
year = {2006},
researchr = {https://researchr.org/publication/SharpanskykhT06},
cites = {0},
citedby = {0},
pages = {290-294},
booktitle = {ECAI 2006, 17th European Conference on Artificial Intelligence, August 29 - September 1, 2006, Riva del Garda, Italy, Including Prestigious Applications of Intelligent Systems (PAIS 2006), Proceedings},
editor = {Gerhard Brewka and Silvia Coradeschi and Anna Perini and Paolo Traverso},
volume = {141},
series = {Frontiers in Artificial Intelligence and Applications},
publisher = {IOS Press},
isbn = {1-58603-642-4},
}