Author Info
Name
Affiliation
Papers
LI JIANG
Institute of Software, Chinese Academy of Sciences, Beijing, PRC
1
Collaborators
Citations 
PageRank 
4
1
0.39
Referers 
Referees 
References 
4
16
7
Title
Citations
PageRank
Year
A formal description of SECIMOS operating system10.392005