Verifying Interlevel Relations within Multi-Agent Systems.

O. Sharpanskykh, J. Treur

Research output: Chapter in Book / Report / Conference proceeding › Conference contribution › Academic › peer-review

Original language	English
Title of host publication	Proc. of the 17th European Conference on Artificial Intelligence, ECAI'06
Editors	G. Brewka, S. Coradeschi, A. Perini, P. Traverso
Pages	290-294
Publication status	Published - 2006

ECAI'06

Handle.net

@inproceedings{48d9a2c84e0c4f8fab8397bda1330003,

title = "Verifying Interlevel Relations within Multi-Agent Systems.",

author = "O. Sharpanskykh and J. Treur",

note = "ECAI'06",

year = "2006",

language = "English",

pages = "290--294",

editor = "G. Brewka and S. Coradeschi and A. Perini and P. Traverso",

booktitle = "Proc. of the 17th European Conference on Artificial Intelligence, ECAI'06",

}