Complete Object-Oriented Z and Its Supporting Environment COOZ-Tools. - Xiaodong Yuan; Deqiang Hu; Hao Xu; Yong Li 005; Guoliang Zheng (TOOLS (27), 1998)

COOZ: a complete object-oriented extension to Z. - Xiaodong Yuan; Deqiang Hu; Hao Xu; Yong Li 005; Guoliang Zheng (ACM SIGSOFT Softw. Eng. Notes, 1998)

Efficient Verification of a Class of Linear Hybrid Automata Using Linear Programming. - Xuandong Li; Yu Pei 001; Jianhua Zhao; Yong Li 005; Tao Zheng; Guoliang Zheng (CHARME, 2001)

Checking Temporal Duration Properties of Timed Automata. - Yong Li 005; Dang Van Hung (J. Comput. Sci. Technol., 2002)

Positive loop-closed automata: a decidable class of hybrid systems. - Xuandong Li; Jianhua Zhao; Yu Pei 001; Yong Li 005; Tao Zheng; Guoliang Zheng (J. Log. Algebraic Methods Program., 2002)

Duration-constrained regular expressions. - Xuandong Li; Jianhua Zhao; Tao Zheng; Yong Li 005; Guoliang Zheng (Formal Aspects Comput., 2004)