王 凡Yang, J.J.YangMok, A. K.A. K.MokWang, FarnFarnWang2009-02-032018-06-292009-02-032018-06-291993http://ntur.lib.ntu.edu.tw//handle/246246/118765en-USSymbolic Model Checking for Event-Driven Real-Time Systems2-s2.0-0031096502WOS:A1997WW53400006