![](/img/cover-not-exists.png)
SPECIFICATION AND VERIFICATION OF DYNAMICS IN AGENT MODELS
BOSSE, TIBOR, JONKER, CATHOLIJN M., VAN DER MEIJ, LOURENS, SHARPANSKYKH, ALEXEI, TREUR, JANVolume:
18
Language:
english
Journal:
International Journal of Cooperative Information Systems
DOI:
10.1142/s0218843009001987
Date:
March, 2009
File:
PDF, 388 KB
english, 2009