TY  - RPRT
TI  - Refinement and Difference for Probabilistic Automata
AU  - Benoît Delahaye
AU  - Uli Fahrenberg
AU  - Kim G. Larsen
AU  - Axel Legay
PY  - 2014
DO  - 10.2168/lmcs-10(3:11)2014
UR  - https://arxiv.org/abs/1212.4288
ID  - 1212.4288
ER  -