Author Info
Name
Affiliation
Papers
ZHAOFEI WANG
Natl Univ Def Technol, Sch Comp, Natl Lab Parallel & Distributed Proc, Changsha 410073, Hunan, Peoples R China
1
Collaborators
Citations 
PageRank 
4
2
0.36
Referers 
Referees 
References 
8
20
10
Title
Citations
PageRank
Year
Symbolic Model Checking APSL20.362009