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",

}