Author Info
Name
Affiliation
Papers
MARTIN MOHR
Karlsruhe Institute of Technology
1
Collaborators
Citations 
PageRank 
2
2
0.37
Referers 
Referees 
References 
8
46
20
Title
Citations
PageRank
Year
Modular Verification of Information Flow Security in Component-Based Systems.20.372017