Verifying Interlevel Relations within Multi-Agent Systems (2006)

by A Sharpanskykh, J Treur
Venue:Proc. of the 17th European Conference on Artificial Intelligence, ECAI'06. IOS