Author Info
Name
Papers
Collaborators
YUKI ABE
1
4
Citations 
PageRank 
Referers 
4
0.43
10
Referees 
References 
12
4
Title
Citations
PageRank
Year
Using the Model Checker Spin for Web Application Design40.432010