TY  - RPRT
TI  - Fair Simulation for Nondeterministic and Probabilistic Buechi Automata: a Coalgebraic Perspective
AU  - Natsuki Urabe
AU  - Ichiro Hasuo
PY  - 2017
DO  - 10.23638/lmcs-13(3:20)2017
UR  - https://arxiv.org/abs/1606.04680
ID  - 1606.04680
ER  -