@inproceedings{Shi_2020,
    doi = {10.1109/apsec51365.2020.00008},
    url = {https://doi.org/10.1109%2Fapsec51365.2020.00008},
    year = {2020},
    month = {dec},
    publisher = {{IEEE}},
    author = {Yingying Shi and Shengping Xiao and Jianwen Li and Jian Guo and Geguang Pu},
    title = {{SAT}-Based Automata Construction for {LTL} over Finite Traces},
    booktitle = {2020 27th Asia-Pacific Software Engineering Conference ({APSEC})}
}

@inproceedings{Shi_2020, doi = {10.1109/apsec51365.2020.00008}, url = {https://doi.org/10.1109%2Fapsec51365.2020.00008}, year = {2020}, month = {dec}, publisher = {{IEEE}}, author = {Yingying Shi and Shengping Xiao and Jianwen Li and Jian Guo and Geguang Pu}, title = {{SAT}-Based Automata Construction for {LTL} over Finite Traces}, booktitle = {2020 27th Asia-Pacific Software Engineering Conference ({APSEC})} }