%0 Conference Paper %1 journals/corr/abs-1709-02102 %A Müller, David %A Sickert, Salomon %B GandALF %D 2017 %E Bouyer, Patricia %E Orlandini, Andrea %E Pietro, Pierluigi San %K dblp %P 180-194 %T LTL to Deterministic Emerson-Lei Automata. %U http://dblp.uni-trier.de/db/series/eptcs/eptcs256.html#abs-1709-02102 %V 256

@inproceedings{journals/corr/abs-1709-02102, added-at = {2018-11-30T00:00:00.000+0100}, author = {Müller, David and Sickert, Salomon}, biburl = {https://www.bibsonomy.org/bibtex/2a9bb730c306863f31316bed504569f6c/dblp}, booktitle = {GandALF}, crossref = {journals/corr/abs-1709-01761}, editor = {Bouyer, Patricia and Orlandini, Andrea and Pietro, Pierluigi San}, ee = {http://arxiv.org/abs/1709.02102}, interhash = {831e9c470eaacfa9fc1cb642ccc408b7}, intrahash = {a9bb730c306863f31316bed504569f6c}, keywords = {dblp}, pages = {180-194}, series = {EPTCS}, timestamp = {2018-12-01T13:12:20.000+0100}, title = {LTL to Deterministic Emerson-Lei Automata.}, url = {http://dblp.uni-trier.de/db/series/eptcs/eptcs256.html#abs-1709-02102}, volume = 256, year = 2017 }