TY  - RPRT
TI  - Markov Automata: Deciding Weak Bisimulation by means of non-naively Vanishing States
AU  - Johann Schuster
AU  - Markus Siegle
PY  - 2014
UR  - https://arxiv.org/abs/1205.6192
ID  - 1205.6192
ER  -