%0 Journal Article %1 DBLP:journals/sttt/EsparzaKRS22 %A Esparza, Javier %A Kret\'ınský, Jan %A Raskin, Jean-Francois %A Sickert, Salomon %D 2022 %J International Journal on Software Tools for Technology Transfer %K journal %N 4 %P 635--659 %R 10.1007/s10009-022-00663-1 %T From linear temporal logic and limit-deterministic Büchi automata to deterministic parity automata %U https://doi.org/10.1007/s10009-022-00663-1 %V 24

@article{DBLP:journals/sttt/EsparzaKRS22, added-at = {2023-09-24T15:24:41.000+0200}, author = {Esparza, Javier and Kret\'ınský, Jan and Raskin, Jean-Francois and Sickert, Salomon}, bibsource = {dblp computer science bibliography, https://dblp.org}, biburl = {https://www.bibsonomy.org/bibtex/2fd0df7e765c17d59b36287efefb57263/paves}, doi = {10.1007/s10009-022-00663-1}, interhash = {358443d3db0c5b359a9d431dd226dcfe}, intrahash = {fd0df7e765c17d59b36287efefb57263}, journal = {International Journal on Software Tools for Technology Transfer}, keywords = {journal}, number = 4, pages = {635--659}, timestamp = {2023-09-24T16:27:44.000+0200}, title = {From linear temporal logic and limit-deterministic Büchi automata to deterministic parity automata}, url = {https://doi.org/10.1007/s10009-022-00663-1}, volume = 24, year = 2022 }