Analysis of spatio-temporal properties of stochastic systems using TSTL.

Research output: Contribution to journal › Article › peer-review

Original language	English
Article number	Art. 20
Journal	ACM Transactions on Modeling and Computer Simulation
Volume	29
Issue number	4
DOIs	https://doi.org/10.1145/3326168
Publication status	Published - 10 Dec 2019

Access to Document

@article{9068ecb2cafc488280d3517149193c94,

title = "Analysis of spatio-temporal properties of stochastic systems using TSTL.",

author = "L.L. Vissat and M. Loreti and L. Nenzi and J. Hillston and G. Marion",

year = "2019",

month = dec,

day = "10",

doi = "10.1145/3326168",

language = "English",

volume = "29",

journal = "ACM Transactions on Modeling and Computer Simulation",

number = "4",

}

TY - JOUR

T1 - Analysis of spatio-temporal properties of stochastic systems using TSTL.

AU - Vissat, L.L.

AU - Loreti, M.

AU - Nenzi, L.

AU - Hillston, J.

AU - Marion, G.

PY - 2019/12/10

Y1 - 2019/12/10

U2 - 10.1145/3326168

DO - 10.1145/3326168

M3 - Article

VL - 29

JO - ACM Transactions on Modeling and Computer Simulation

JF - ACM Transactions on Modeling and Computer Simulation

IS - 4

M1 - Art. 20

ER -