Consistency Check in Modelling Multi-Agent Systems.

Lijun Shan, Hong Zhu

Browse the full COMPSAC paper archive.