Title
Unifying Probabilistic and Traditional Formal Model Based Analysis.
Year
Venue
DocType
2012
MBEES
Conference
Citations 
PageRank 
References 
0
0.34
0
Authors
4
Name
Order
Citations
PageRank
Frank Ortmeier138647.95
Matthias Güdemann212811.15
Michael Lipaczewski3214.34
Simon Struck4203.69