TY  - RPRT
TI  - Computing Inferences for Large-Scale Continuous-Time Markov Chains by Combining Lumping with Imprecision
AU  - Alexander Erreygers
AU  - Jasper De Bock
PY  - 2018
UR  - https://arxiv.org/abs/1804.01020
ID  - 1804.01020
ER  -