Rongjie Yan

	2007
2		Rongjie Yan, Guangyuan Li, Wenliang Zhang, Yunquan Peng: Improvements for the Symbolic Verification of Timed Automata. FORTE 2007: 196-210
	2005
1		Rongjie Yan, Guangyuan Li, Zhisong Tang: Symbolic Model Checking of Finite Precision Timed Automata. ICTAC 2005: 272-287

Coauthor Index

1	Guangyuan Li	[1] [2]
2	Yunquan Peng	[2]
3	Zhisong Tang	[1]
4	Wenliang Zhang	[2]