Author Info
Name
Affiliation
Papers
NILS TIMM
Department of Computer Science, University of Paderborn, Germany
3
Collaborators
Citations 
PageRank 
14
10
1.29
Referers 
Referees 
References 
17
73
38
Title
Citations
PageRank
Year
Heuristic-guided abstraction refinement for concurrent systems30.432012
On symmetries and spotlights: verifying parameterised systems70.522010
CSI: PC2 - A High Performance Biometrie System00.342008