Wenliang Zhang

	2007
1		Rongjie Yan, Guangyuan Li, Wenliang Zhang, Yunquan Peng: Improvements for the Symbolic Verification of Timed Automata. FORTE 2007: 196-210

Coauthor Index

1	Guangyuan Li	[1]
2	Yunquan Peng	[1]
3	Rongjie Yan	[1]