TY  - RPRT
TI  - Late Weak Bisimulation for Markov Automata
AU  - Christian Eisentraut
AU  - Jens Chr. Godskesen
AU  - Holger Hermanns
AU  - Lei Song
AU  - Lijun Zhang
PY  - 2014
UR  - https://arxiv.org/abs/1202.4116
ID  - 1202.4116
ER  -