Author Info
Name
Affiliation
Papers
BARINJATO RAMANANDRAY
IBM Deutschland Entwicklung GmbH
1
Collaborators
Citations 
PageRank 
7
6
0.57
Referers 
Referees 
References 
12
88
19
Title
Citations
PageRank
Year
Enabling Large-Scale Pervasive Logic Verification through Multi-Algorithmic Formal Reasoning60.572006