Jianqi Shi, Jiawen Xiong, Yanhong Huang. General past-time linear temporal logic specification mining. CCF Trans. High Perform. Comput., 3(4):393-406, 2021. [doi]
@article{ShiXH21,
title = {General past-time linear temporal logic specification mining},
author = {Jianqi Shi and Jiawen Xiong and Yanhong Huang},
year = {2021},
doi = {10.1007/s42514-021-00079-4},
url = {https://doi.org/10.1007/s42514-021-00079-4},
researchr = {https://researchr.org/publication/ShiXH21},
cites = {0},
citedby = {0},
journal = {CCF Trans. High Perform. Comput.},
volume = {3},
number = {4},
pages = {393-406},
}