%0 Conference Paper %1 conf/vmcai/KarpenkovMW16 %A Karpenkov, Egor George %A Monniaux, David %A Wendler, Philipp %B VMCAI %D 2016 %E Jobstmann, Barbara %E Leino, K. Rustan M. %I Springer %K dblp %P 127-146 %T Program Analysis with Local Policy Iteration. %U http://dblp.uni-trier.de/db/conf/vmcai/vmcai2016.html#KarpenkovMW16 %V 9583 %@ 978-3-662-49121-8

@inproceedings{conf/vmcai/KarpenkovMW16, added-at = {2017-09-16T00:00:00.000+0200}, author = {Karpenkov, Egor George and Monniaux, David and Wendler, Philipp}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2564e018070568e70a8abf16032f828cf/dblp}, booktitle = {VMCAI}, crossref = {conf/vmcai/2016}, editor = {Jobstmann, Barbara and Leino, K. Rustan M.}, ee = {https://doi.org/10.1007/978-3-662-49122-5_6}, interhash = {90e164aae5a6e31f737bd36863fa8ca0}, intrahash = {564e018070568e70a8abf16032f828cf}, isbn = {978-3-662-49121-8}, keywords = {dblp}, pages = {127-146}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-09-27T17:55:24.000+0200}, title = {Program Analysis with Local Policy Iteration.}, url = {http://dblp.uni-trier.de/db/conf/vmcai/vmcai2016.html#KarpenkovMW16}, volume = 9583, year = 2016 }