|
Search the dblp DataBase
Yong Li 0005:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Xuandong Li, Pei Yu, Jianhua Zhao, Yong Li 0005, Tao Zheng, Guoliang Zheng
Efficient Verification of a Class of Linear Hybrid Automata Using Linear Programming. [Citation Graph (0, 0)][DBLP] CHARME, 2001, pp:465-480 [Conf]
- Xuandong Li, Jianhua Zhao, Tao Zheng, Yong Li 0005, Guoliang Zheng
Duration-constrained regular expressions. [Citation Graph (0, 0)][DBLP] Formal Asp. Comput., 2004, v:16, n:2, pp:155-163 [Journal]
- Yong Li 0005, Dang Van Hung
Checking Temporal Duration Properties of Timed Automata. [Citation Graph (0, 0)][DBLP] J. Comput. Sci. Technol., 2002, v:17, n:6, pp:689-698 [Journal]
- Xuandong Li, Jianhua Zhao, Pei Yu, Yong Li 0005, Tao Zheng, Guoliang Zheng
Positive loop-closed automata: a decidable class of hybrid systems. [Citation Graph (0, 0)][DBLP] J. Log. Algebr. Program., 2002, v:52, n:, pp:79-108 [Journal]
Search in 0.001secs, Finished in 0.001secs
|