%0 Journal Article %1 journals/sttt/TsayTCCL13 %A Tsay, Yih-Kuen %A Tsai, Ming-Hsien %A Chang, Jinn-Shu %A Chang, Yi-Wen %A Liu, Chi-Shiang %D 2013 %J Int. J. Softw. Tools Technol. Transf. %K dblp %N 2 %P 109-123 %T Büchi Store: an open repository of ω-automata. %U http://dblp.uni-trier.de/db/journals/sttt/sttt15.html#TsayTCCL13 %V 15

@article{journals/sttt/TsayTCCL13, added-at = {2023-08-28T00:00:00.000+0200}, author = {Tsay, Yih-Kuen and Tsai, Ming-Hsien and Chang, Jinn-Shu and Chang, Yi-Wen and Liu, Chi-Shiang}, biburl = {https://www.bibsonomy.org/bibtex/22280e2d04777908c3e954113b9bb8810/dblp}, ee = {https://www.wikidata.org/entity/Q115148426}, interhash = {34a945c8bdd16195d12a4b0b1fd30444}, intrahash = {2280e2d04777908c3e954113b9bb8810}, journal = {Int. J. Softw. Tools Technol. Transf.}, keywords = {dblp}, number = 2, pages = {109-123}, timestamp = {2024-04-08T20:36:16.000+0200}, title = {Büchi Store: an open repository of ω-automata.}, url = {http://dblp.uni-trier.de/db/journals/sttt/sttt15.html#TsayTCCL13}, volume = 15, year = 2013 }