COMPOSITIONAL VERIFICATION OF MULTI-AGENT SYSTEMS: A FORMAL ANALYSIS OF PRO-ACTIVENESS AND REACTIVENESS
JONKER, CATHOLIJN M., TREUR, JANVolume:
11
Language:
english
Journal:
International Journal of Cooperative Information Systems
DOI:
10.1142/S0218843002000480
Date:
March, 2002
File:
PDF, 458 KB
english, 2002