Author Info
Name
Affiliation
Papers
MASAMI HAGIYA
Univ Tokyo, Tokyo, Japan
1
Collaborators
Citations 
PageRank 
5
2
0.36
Referers 
Referees 
References 
12
54
22
Title
Citations
PageRank
Year
Software Model Checking of UDP-based Distributed Applications20.362014