Title
Semiformal Verification of Temporal Properties in Embedded Software.
Year
Venue
Field
2007
MBMV
Embedded software,Computer science,Embedded system
DocType
Citations 
PageRank 
Conference
1
0.40
References 
Authors
0
8
Name
Order
Citations
PageRank
Djones Lettnin1397.68
Pradeep Kumar Nalla222.10
Jürgen Ruf312223.04
Roland J. Weiss4114.81
Axel G. Braun542.52
Joachim Gerlach665.85
Thomas Kropf732659.09
Wolfgang Rosenstiel81462212.32