TY  - RPRT
TI  - Partially Ordered Two-way Büchi Automata
AU  - Manfred Kufleitner
AU  - Alexander Lauser
PY  - 2011
DO  - 10.1007/978-3-642-18098-9_20
UR  - https://arxiv.org/abs/1006.2719
ID  - 1006.2719
ER  -