TY  - RPRT
TI  - Effective Translation of LTL to Deterministic Rabin Automata: Beyond the (F,G)-Fragment
AU  - Tomáš Babiak
AU  - František Blahoudek
AU  - Mojmír Křetínský
AU  - Jan Strejček
PY  - 2013
UR  - https://arxiv.org/abs/1306.4636
ID  - 1306.4636
ER  -