@inproceedings{Kar6,
title = { {LPI:} Software Verification with Local Policy Iteration - (Competition Contribution) },
author = {Karpenkov, Egor George},
year = {2016},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems - 22nd International Conference, {TACAS} 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software},
pages = {930--933},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {9636},
team = {PACSS},
timestamp = {Fri, 02 Nov 2018 09:42:33 +0100},
biburl = {https://dblp.org/rec/bib/conf/tacas/Karpenkov16},
bibsource = {dblp computer science bibliography, https://dblp.org},
}