Ting Wang, Jun Sun, Xinyu Wang, Yang Liu, Yuanjie Si, Jin Song Dong, Xiaohu Yang, Xiaohong Li. A Systematic Study on Explicit-State Non-Zenoness Checking for Timed Automata. IEEE Trans. Software Eng., 41(1):3-18, 2015. [doi]
@article{WangSWLSDYL15,
title = {A Systematic Study on Explicit-State Non-Zenoness Checking for Timed Automata},
author = {Ting Wang and Jun Sun and Xinyu Wang and Yang Liu and Yuanjie Si and Jin Song Dong and Xiaohu Yang and Xiaohong Li},
year = {2015},
doi = {10.1109/TSE.2014.2359893},
url = {http://dx.doi.org/10.1109/TSE.2014.2359893},
researchr = {https://researchr.org/publication/WangSWLSDYL15},
cites = {0},
citedby = {0},
journal = {IEEE Trans. Software Eng.},
volume = {41},
number = {1},
pages = {3-18},
}