DMCA

Compositional Verification of Multi-Agent Systems: a Formal Analysis of Pro-activeness and Reactiveness (1998)

by Catholijn M. Jonker , Jan Treur
Venue:International Journal of Cooperative Information Systems
Citations:139 - 92 self