Specification and Verification of Dynamics in Agent Models

T. Bosse, C.M. Jonker, L. van der Meij, O. Sharpanskykh, J. Treur

Research output: Contribution to Journal › Article › Academic › peer-review

Fingerprint

Dive into the research topics of 'Specification and Verification of Dynamics in Agent Models'. Together they form a unique fingerprint.

Computer Science