Name
Playground
About
FAQ
GitHub
Playground
Shortest Path Finder
Community Detector
Connected Papers
Author Trending
Erol Yılmaz
Daniel P. Kennedy
Dan Graur
Barbara Aquilani
Elke Wetzenstein-Ollenschläger
Xiumei Wang
Maximilian Dürr
Jhonathan Pinzon
Liangliang Shang
Chen Ma
Home
/
Paper
/
Scalable Reliability Analysis by Lazy Verification.
Paper Info
Open Visualization
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
Authors (4 rows)
Cited by (0 rows)
References (0 rows)
Name
Order
Citations
PageRank
Shahid Khan
1
2
1.06
Joost-Pieter Katoen
2
7
4.45
Matthias Volk
3
0
3.72
Marc Bouissou
4
0
1.01
1