| Title | Analysis of spatio-temporal properties of stochastic systems using TSTL |
| Publication Type | Journal Article |
| Year of Publication | 2019 |
| Authors | Vissat LL, Loreti M, Nenzi L, Hillston J, Marion G |
| Journal | ACM Transactions on Modeling and Computer Simulation |
| Volume | 29 |
| Pagination | Article No.20 |