TY  - RPRT
TI  - Imprecise Continuous-Time Markov Chains
AU  - Thomas Krak
AU  - Jasper De Bock
AU  - Arno Siebes
PY  - 2017
UR  - https://arxiv.org/abs/1611.05796
ID  - 1611.05796
ER  -