Wenkai Tan

2006
2	EE	Radu Grosu, Xiaowan Huang, Scott A. Smolka, Wenkai Tan, Stavros Tripakis: Deep Random Search for Efficient Model Checking of Timed Automata. Monterey Workshop 2006: 111-124
2002
1	EE	Xuandong Li, Wenkai Tan, Guoliang Zheng: Checking MSC Specifications for Timing Inconsistency. J. Comput. Sci. Technol. 17(1): 47-55 (2002)

Coauthor Index

1	Radu Grosu	[2]
2	Xiaowan Huang	[2]
3	Xuandong Li	[1]
4	Scott A. Smolka	[2]
5	Stavros Tripakis	[2]
6	Guoliang Zheng	[1]

Colors in the list of coauthors