WANG, T., SUN, J., WANG, X., LIU, Y., SI, Y., DONG, J. S., . . . LI, X. (2015). A systematic study on explicit-state non-zenoness checking for timed automata. Institutional Knowledge at Singapore Management University.

WANG, Ting, Jun SUN, Xinyu WANG, Yang LIU, Yuanjie SI, Jin Song DONG, Xiaohu YANG, and Xiaohong LI. A Systematic Study On Explicit-state Non-zenoness Checking for Timed Automata. Institutional Knowledge at Singapore Management University, 2015.

WANG, Ting, et al. A Systematic Study On Explicit-state Non-zenoness Checking for Timed Automata. Institutional Knowledge at Singapore Management University, 2015.