TY  - RPRT
TI  - LTL to Büchi Automata Translation: Fast and More Deterministic
AU  - Tomáš Babiak
AU  - Mojmír Křetínský
AU  - Vojtěch Řehák
AU  - Jan Strejček
PY  - 2012
UR  - https://arxiv.org/abs/1201.0682
ID  - 1201.0682
ER  -