Zhaofei Wang

	2009
1		Wanwei Liu, Ji Wang, Huowang Chen, Xiaodong Ma, Zhaofei Wang: Symbolic model checking APSL. Frontiers of Computer Science in China 3(1): 130-141 (2009)

Coauthor Index

1	Huowang Chen	[1]
2	Wanwei Liu	[1]
3	Xiaodong Ma	[1]
4	Ji Wang	[1]