Author Info
Name
Affiliation
Papers
JIMEI HE
Tsinghua Univ, Sch Software, Beijing, Peoples R China
1
Collaborators
Citations 
PageRank 
2
6
0.49
Referers 
Referees 
References 
13
25
9
Title
Citations
PageRank
Year
Towards Formalization and Verification of Unified Business Process Model Based on Pi Calculus60.492008