Author Info
Name
Affiliation
Papers
BERND BECKER
university of freiburg
1
Collaborators
Citations 
PageRank 
5
8
0.56
Referers 
Referees 
References 
19
58
15
Title
Citations
PageRank
Year
SAT-Based Analysis of Sensitizable Paths80.562011