TY  - RPRT
TI  - Property-driven State-Space Coarsening for Continuous Time Markov Chains
AU  - Michalis Michaelides
AU  - Dimitrios Milios
AU  - Jane Hillston
AU  - Guido Sanguinetti
PY  - 2016
DO  - 10.1007/978-3-319-43425-4_1
UR  - https://arxiv.org/abs/1606.01111
ID  - 1606.01111
ER  -