Author Info
Name
Affiliation
Papers
BERND BECKER
Albert-Ludwigs-University, Germany
1
Collaborators
Citations 
PageRank 
2
18
0.88
Referers 
Referees 
References 
32
32
16
Title
Citations
PageRank
Year
Advanced SAT-Techniques for Bounded Model Checking of Blackbox Designs180.882006