Verifying Interlevel Relations within Multi-Agent Systems: Formal Theoretical Basis (2005)

by A Sharpanskykh, J Treur