Title
Scalable Reliability Analysis by Lazy Verification.
Year
DOI
Venue
2021
10.1007/978-3-030-76384-8_12
NFM
DocType
Citations 
PageRank 
Conference
0
0.34
References 
Authors
0
4
Name
Order
Citations
PageRank
Shahid Khan121.06
Joost-Pieter Katoen274.45
Matthias Volk303.72
Marc Bouissou401.01