Paper Info
Title
EPR-based k-induction with Counterexample Guided Abstraction Refinement.
Year
Venue
DocType
2015
GCAI
Conference
Citations 
PageRank 
References 
0
0.34
0
Authors
3
Name
Order
Citations
PageRank
Zurab Khasidashvili130725.40
Konstantin Korovin228820.64
Dmitry Tsarkov379449.29