A Temporal Trace Language for Formal Modelling and Analysis of Agent Systems

O. Sharpanskykh, J. Treur

Research output: Chapter in Book / Report / Conference proceeding › Chapter › Academic › peer-review

Original language	English
Title of host publication	Specification and Verification of Multi-Agent Systems
Editors	M. Dastani, K.V. Hindriks, J.-J. C. Meyer
Publisher	Springer Verlag
Pages	317-353
Publication status	Published - 2010

Name
Number	2

Persistent URL (handle)

@inbook{7972942210ae4bdf926a37f7e7dcf569,

title = "A Temporal Trace Language for Formal Modelling and Analysis of Agent Systems",

author = "O. Sharpanskykh and J. Treur",

year = "2010",

language = "English",

publisher = "Springer Verlag",

number = "2",

pages = "317--353",

editor = "M. Dastani and K.V. Hindriks and Meyer, \{J.-J. C.\}",

booktitle = "Specification and Verification of Multi-Agent Systems",

}

TY - CHAP

T1 - A Temporal Trace Language for Formal Modelling and Analysis of Agent Systems

AU - Sharpanskykh, O.

AU - Treur, J.

PY - 2010

Y1 - 2010

UR - https://www.scopus.com/pages/publications/79956156044

UR - https://www.scopus.com/inward/citedby.url?scp=79956156044&partnerID=8YFLogxK

M3 - Chapter

SP - 317

EP - 353

BT - Specification and Verification of Multi-Agent Systems

A2 - Dastani, M.

A2 - Hindriks, K.V.

A2 - Meyer, J.-J. C.

PB - Springer Verlag

ER -