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

O. Sharpanskykh, J. Treur

Research output: Chapter in Book / Report / Conference proceedingChapterAcademicpeer-review

Original languageEnglish
Title of host publicationSpecification and Verification of Multi-Agent Systems
EditorsM. Dastani, K.V. Hindriks, J.-J. C. Meyer
PublisherSpringer Verlag
Pages317-353
Publication statusPublished - 2010

Publication series

Name
Number2

Cite this

Sharpanskykh, O., & Treur, J. (2010). A Temporal Trace Language for Formal Modelling and Analysis of Agent Systems. In M. Dastani, K. V. Hindriks, & J-J. C. Meyer (Eds.), Specification and Verification of Multi-Agent Systems (pp. 317-353). Springer Verlag.
Sharpanskykh, O. ; Treur, J. / A Temporal Trace Language for Formal Modelling and Analysis of Agent Systems. Specification and Verification of Multi-Agent Systems. editor / M. Dastani ; K.V. Hindriks ; J.-J. C. Meyer. Springer Verlag, 2010. pp. 317-353
@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",

}

Sharpanskykh, O & Treur, J 2010, A Temporal Trace Language for Formal Modelling and Analysis of Agent Systems. in M Dastani, KV Hindriks & J-JC Meyer (eds), Specification and Verification of Multi-Agent Systems. Springer Verlag, pp. 317-353.

A Temporal Trace Language for Formal Modelling and Analysis of Agent Systems. / Sharpanskykh, O.; Treur, J.

Specification and Verification of Multi-Agent Systems. ed. / M. Dastani; K.V. Hindriks; J.-J. C. Meyer. Springer Verlag, 2010. p. 317-353.

Research output: Chapter in Book / Report / Conference proceedingChapterAcademicpeer-review

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

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 -

Sharpanskykh O, Treur J. A Temporal Trace Language for Formal Modelling and Analysis of Agent Systems. In Dastani M, Hindriks KV, Meyer J-JC, editors, Specification and Verification of Multi-Agent Systems. Springer Verlag. 2010. p. 317-353