Author Info
Name
Papers
Collaborators
刘连臣
1
8
Citations 
PageRank 
Referers 
1
0.36
5
Referees 
References 
41
16
Title
Citations
PageRank
Year
Formal Verification of Temporal Properties for Reduced Overhead in Grid Scientific Workflows10.362011