@misc{indiciaea6afb2a1b0e1, title = {Statistical abstraction for multi-scale spatio-temporal systems}, author = {Michalis Michaelides and Jane Hillston and Guido Sanguinetti}, year = {2017}, doi = {10.1007/978-3-319-66335-7\_15}, url = {https://arxiv.org/abs/1706.07005}, note = {Source identifier: 1706.07005} }