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 |