Verification Model for Agent Coordination of Distributed Information Systems
2016 ◽
Vol 59
(3)
◽
pp. 63-67