ZHIXiao-li, TONG Wei-qin, RONGLu. Automatic Abstraction Algorithm for Timed Automata[J]. Journal of Southwest Jiaotong University, 2004, 17(5): 670-674.
Citation:
|
ZHIXiao-li, TONG Wei-qin, RONGLu. Automatic Abstraction Algorithm for Timed Automata[J]. Journal of Southwest Jiaotong University, 2004, 17(5): 670-674.
|
ZHIXiao-li, TONG Wei-qin, RONGLu. Automatic Abstraction Algorithm for Timed Automata[J]. Journal of Southwest Jiaotong University, 2004, 17(5): 670-674.
Citation:
|
ZHIXiao-li, TONG Wei-qin, RONGLu. Automatic Abstraction Algorithm for Timed Automata[J]. Journal of Southwest Jiaotong University, 2004, 17(5): 670-674.
|
Automatic Abstraction Algorithm for Timed Automata
- Publish Date:
25 Oct 2004