Paper Info
Title
Kontrollfluss-Verifikation von Algorithmen mittels Modellprüfung.
Year
Venue
DocType
1998
MBMV
Conference
Citations 
PageRank 
References 
0
0.34
0
Authors
5
Name
Order
Citations
PageRank
Ingo Schreiber100.68
Jens Schönherr285.40
Eva Fordran393.41
Klaus Schneider441050.09
Bernd Straube519537.41