ZHAO Jianhua, Dang Van Hung. Checking Timed Automata for Linear Duration PropertiesJ. Journal of Computer Science and Technology, 2000, 15(5).
|
Citation:
|
ZHAO Jianhua, Dang Van Hung. Checking Timed Automata for Linear Duration PropertiesJ. Journal of Computer Science and Technology, 2000, 15(5).
|
ZHAO Jianhua, Dang Van Hung. Checking Timed Automata for Linear Duration PropertiesJ. Journal of Computer Science and Technology, 2000, 15(5).
|
Citation:
|
ZHAO Jianhua, Dang Van Hung. Checking Timed Automata for Linear Duration PropertiesJ. Journal of Computer Science and Technology, 2000, 15(5).
|
DownLoad: