Author Info
Name
Affiliation
Papers
STEFAN LÄMMERMANN
University of Tuebingen, Tübingen, Germany
3
Collaborators
Citations 
PageRank 
8
9
1.42
Referers 
Referees 
References 
21
29
6
Title
Citations
PageRank
Year
Towards assertion-based verification of heterogeneous system designs90.742010
UML/SysML-Systemanalyse zur Generierung von formalen Verifikationseigenschaften für verschiedene Abstraktionsebenen.00.342007
Automatische Eigenschaftsextraktion auf Systemebene aus SystemC Modellen.00.342006