Author Info
Name
Affiliation
Papers
VINCENT LANGENFELD
Univ Freiburg, D-79106 Freiburg, Germany
1
Collaborators
Citations 
PageRank 
3
11
0.50
Referers 
Referees 
References 
31
85
31
Title
Citations
PageRank
Year
Fairness Modulo Theory: A New Approach To Ltl Software Model Checking110.502015