Verification Model for Agent Coordination of Distributed Information Systems | IEEE Conference Publication | IEEE Xplore