Title
Combining Verifiers in Conditional Model Checking via Reducers.
Year
DOI
Venue
2019
10.18420/se2019-46
SE/SWM
DocType
Citations 
PageRank 
Conference
0
0.34
References 
Authors
0
4
Name
Order
Citations
PageRank
Dirk Beyer11736100.85
Marie-Christine Jakobs254.47
Thomas Lemberger3173.59
Heike Wehrheim41013104.85