%0 Journal Article %1 journals/fcsc/ShanDQ15 %A Shan, Lai-Xiang %A Du, Xiaomin %A Qin, Zheng %D 2015 %J Frontiers Comput. Sci. %K %N 4 %P 511-523 %T Efficient approach of translating LTL formulae into Büchi automata. %U http://dblp.uni-trier.de/db/journals/fcsc/fcsc9.html#ShanDQ15 %V 9

@article{journals/fcsc/ShanDQ15, added-at = {2023-12-14T15:17:59.000+0100}, author = {Shan, Lai-Xiang and Du, Xiaomin and Qin, Zheng}, biburl = {https://www.bibsonomy.org/bibtex/277e013a89b55c003d96fe5dfc6ec913d/admin}, ee = {https://doi.org/10.1007/s11704-015-4302-2}, interhash = {e97148e05bfc2082dd283351c37e1840}, intrahash = {77e013a89b55c003d96fe5dfc6ec913d}, journal = {Frontiers Comput. Sci.}, keywords = {}, number = 4, pages = {511-523}, timestamp = {2023-12-14T15:17:59.000+0100}, title = {Efficient approach of translating LTL formulae into Büchi automata.}, url = {http://dblp.uni-trier.de/db/journals/fcsc/fcsc9.html#ShanDQ15}, volume = 9, year = 2015 }