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 journal › Article › Scientific › peer-review

Original language	Undefined/Unknown
Pages (from-to)	167-193
Number of pages	27
Journal	International Journal of Cooperative Information Systems
Volume	18
Publication status	Published - 2009

Keywords

@article{569d29a58a1840d98e86dada11dc58ce,

title = "Specification and verification of dynamics in agent models",

keywords = "academic journal papers, CWTS JFIS < 0.75",

author = "T Bosse and CM Jonker and {Meij van der}, L and O.A. Sharpans'kykh and J Treur",

year = "2009",

language = "Undefined/Unknown",

volume = "18",

pages = "167--193",

journal = "International Journal of Cooperative Information Systems",

issn = "0218-8430",

publisher = "World Scientific Publishing",

}

TY - JOUR

T1 - Specification and verification of dynamics in agent models

AU - Bosse, T

AU - Jonker, CM

AU - Meij van der, L

AU - Sharpans'kykh, O.A.

AU - Treur, J

PY - 2009

Y1 - 2009

KW - academic journal papers

KW - CWTS JFIS < 0.75

M3 - Article

SN - 0218-8430

VL - 18

SP - 167

EP - 193

JO - International Journal of Cooperative Information Systems

JF - International Journal of Cooperative Information Systems

ER -