%0 Generic %1 data/10/LiTFVZ22a %A Li, Yong %A Turrini, Andrea %A Feng, Weizhi %A Vardi, Moshe Y. %A Zhang, Lijun %D 2022 %I Zenodo %K dblp %T Artifact for the CAV'22 paper "Divide-and-Conquer Determinization of Büchi Automata based on SCC Decomposition".

@data{data/10/LiTFVZ22a, added-at = {2023-09-25T00:00:00.000+0200}, author = {Li, Yong and Turrini, Andrea and Feng, Weizhi and Vardi, Moshe Y. and Zhang, Lijun}, biburl = {https://www.bibsonomy.org/bibtex/2ff41d43f56679957ecfb4d2e40109411/dblp}, ee = {https://doi.org/10.5281/zenodo.6526765}, interhash = {3c2cb30404b42658dd17878f66598080}, intrahash = {ff41d43f56679957ecfb4d2e40109411}, keywords = {dblp}, month = May, publisher = {Zenodo}, timestamp = {2024-04-10T03:00:20.000+0200}, title = {Artifact for the CAV'22 paper "Divide-and-Conquer Determinization of Büchi Automata based on SCC Decomposition".}, year = 2022 }