Specification and verification of dynamics in agent models

T Bosse, CM Jonker, L Meij van der, O.A. Sharpans'kykh, J Treur

Research output: Contribution to journalArticleScientificpeer-review

113 Citations (Scopus)
Original languageUndefined/Unknown
Pages (from-to)167-193
Number of pages27
JournalInternational Journal of Cooperative Information Systems
Publication statusPublished - 2009


  • academic journal papers
  • CWTS JFIS < 0.75

Cite this