Lai-Xiang Shan, Zheng Qin. A fast transition of linear temporal logic formulae to transition-based Büchi automata. IJCAT, 53(1):62-70, 2016. [doi]
@article{ShanQ16, title = {A fast transition of linear temporal logic formulae to transition-based Büchi automata}, author = {Lai-Xiang Shan and Zheng Qin}, year = {2016}, doi = {10.1504/IJCAT.2016.073603}, url = {http://dx.doi.org/10.1504/IJCAT.2016.073603}, researchr = {https://researchr.org/publication/ShanQ16}, cites = {0}, citedby = {0}, journal = {IJCAT}, volume = {53}, number = {1}, pages = {62-70}, }