Author Info
Name
Affiliation
Papers
TOBIAS KIRSTEN
NEC Electronics (Europe) GmbH, Düsseldorf, Germany
1
Collaborators
Citations 
PageRank 
7
8
0.60
Referers 
Referees 
References 
30
28
7
Title
Citations
PageRank
Year
Verification of temporal properties in automotive embedded software80.602008