Guangyuan Li

	2009
5		Guangyuan Li: Checking Timed Büchi Automata Emptiness Using LU-Abstractions. FORMATS 2009: 228-242
	2007
4		Rongjie Yan, Guangyuan Li, Wenliang Zhang, Yunquan Peng: Improvements for the Symbolic Verification of Timed Automata. FORTE 2007: 196-210
	2005
3		Rongjie Yan, Guangyuan Li, Zhisong Tang: Symbolic Model Checking of Finite Precision Timed Automata. ICTAC 2005: 272-287
	2003
2		Guangyuan Li, Zhisong Tang: Translating a Continuous-Time Temporal Logic into Timed Automata. APLAS 2003: 322-338
	2002
1		Guangyuan Li, Zhisong Tang: Modelling Real-Time Systems with Continuous-Time Temporal Logic. ICFEM 2002: 231-236

Coauthor Index

1	Yunquan Peng	[4]
2	Zhisong Tang	[1] [2] [3]
3	Rongjie Yan	[3] [4]
4	Wenliang Zhang	[4]