Author Info
Name
Affiliation
Papers
MARTIN HENTSCHEL 0002
Univ Darmstadt, Darmstadt, Germany
1
Collaborators
Citations 
PageRank 
5
10
0.48
Referers 
Referees 
References 
30
118
51
Search Limit
100118
Title
Citations
PageRank
Year
Potential synergies of theorem proving and model checking for software product lines100.482014