Author Info
Name
Affiliation
Papers
STEPHAN REITEMEYER
NEC Electronics (Europe) GmbH, Düsseldorf, Germany
2
Collaborators
Citations 
PageRank 
9
15
1.11
Referers 
Referees 
References 
38
48
14
Title
Citations
PageRank
Year
Semiformal verification of temporal properties in automotive hardware dependent software70.502009
Verification of temporal properties in automotive embedded software80.602008