Conghua Zhou

	2007
4		Conghua Zhou: A compositional symbolic verification framework for concurrent software. Infoscale 2007: 79
3		Conghua Zhou, Shiguang Ju: SAT-based Bounded Model Checking for SE-LTL. SNPD (3) 2007: 582-587
2		Conghua Zhou, Zhenyu Chen, Zhihong Tao: QBF-Based Symbolic Model Checking for Knowledge and Time. TAMC 2007: 386-397
	2006
1		Conghua Zhou, Decheng Ding: Improved SAT Based Bounded Model Checking. TAMC 2006: 611-620

Coauthor Index

1	Zhenyu Chen	[2]
2	Decheng Ding	[1]
3	Shiguang Ju	[3]
4	Zhihong Tao	[2]

Colors in the list of coauthors