%0 Conference Paper %1 conf/gcai/KhasidashviliKT15 %A Khasidashvili, Zurab %A Korovin, Konstantin %A Tsarkov, Dmitry %B GCAI %D 2015 %E Gottlob, Georg %E Sutcliffe, Geoff %E Voronkov, Andrei %I EasyChair %K dblp %P 137-150 %T EPR-based k-induction with Counterexample Guided Abstraction Refinement. %U http://dblp.uni-trier.de/db/conf/gcai/gcai2015.html#KhasidashviliKT15 %V 36

@inproceedings{conf/gcai/KhasidashviliKT15, added-at = {2021-08-15T00:00:00.000+0200}, author = {Khasidashvili, Zurab and Korovin, Konstantin and Tsarkov, Dmitry}, biburl = {https://www.bibsonomy.org/bibtex/25d9b521463813b61d9c9a2fae338ebcb/dblp}, booktitle = {GCAI}, crossref = {conf/gcai/2015}, editor = {Gottlob, Georg and Sutcliffe, Geoff and Voronkov, Andrei}, ee = {https://doi.org/10.29007/scv7}, interhash = {5ec1e3f0319d9b216a8f2286b2748d44}, intrahash = {5d9b521463813b61d9c9a2fae338ebcb}, keywords = {dblp}, pages = {137-150}, publisher = {EasyChair}, series = {EPiC Series in Computing}, timestamp = {2024-04-09T23:30:43.000+0200}, title = {EPR-based k-induction with Counterexample Guided Abstraction Refinement.}, url = {http://dblp.uni-trier.de/db/conf/gcai/gcai2015.html#KhasidashviliKT15}, volume = 36, year = 2015 }