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