Lai-Xiang Shan, Xiaomin Du, Zheng Qin. Efficient approach of translating LTL formulae into Büchi automata. Frontiers of Computer Science in China, 9(4):511-523, 2015. [doi]
@article{ShanDQ15,
title = {Efficient approach of translating LTL formulae into Büchi automata},
author = {Lai-Xiang Shan and Xiaomin Du and Zheng Qin},
year = {2015},
doi = {10.1007/s11704-015-4302-2},
url = {http://dx.doi.org/10.1007/s11704-015-4302-2},
researchr = {https://researchr.org/publication/ShanDQ15},
cites = {0},
citedby = {0},
journal = {Frontiers of Computer Science in China},
volume = {9},
number = {4},
pages = {511-523},
}