Author Info
Name
Affiliation
Papers
PHAN T. H. NGUYEN
Ho Chi Minh City Univ Technol, Fac Comp Sci & Engn, Ho Chi Minh City, Vietnam
1
Collaborators
Citations 
PageRank 
1
0
0.34
Referers 
Referees 
References 
0
33
13
Title
Citations
PageRank
Year
A Multiple Refinement Approach In Abstraction Model Checking00.342014