FARN WANG2020-06-042020-06-0420130304-3975https://scholars.lib.ntu.edu.tw/handle/123456789/497146Efficient model-checking of dense-time systems with time-convexity analysisjournal article10.1016/j.tcs.2012.09.019WOS:000313849100006