%0 Conference Paper %1 conf/atva/HeizmannHLP13 %A Heizmann, Matthias %A Hoenicke, Jochen %A Leike, Jan %A Podelski, Andreas %B ATVA %D 2013 %E Hung, Dang Van %E Ogawa, Mizuhito %I Springer %K %P 365-380 %T Linear Ranking for Linear Lasso Programs. %U http://dblp.uni-trier.de/db/conf/atva/atva2013.html#HeizmannHLP13 %V 8172 %@ 978-3-319-02443-1

@inproceedings{conf/atva/HeizmannHLP13, added-at = {2023-12-12T23:52:03.000+0100}, author = {Heizmann, Matthias and Hoenicke, Jochen and Leike, Jan and Podelski, Andreas}, biburl = {https://www.bibsonomy.org/bibtex/2ca36fc122c59aee6f410bc34459a36ef/admin}, booktitle = {ATVA}, crossref = {conf/atva/2013}, editor = {Hung, Dang Van and Ogawa, Mizuhito}, ee = {https://doi.org/10.1007/978-3-319-02444-8_26}, interhash = {5b6c0eb95fda277dace760298b5fcc6e}, intrahash = {ca36fc122c59aee6f410bc34459a36ef}, isbn = {978-3-319-02443-1}, keywords = {}, pages = {365-380}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2023-12-12T23:52:03.000+0100}, title = {Linear Ranking for Linear Lasso Programs.}, url = {http://dblp.uni-trier.de/db/conf/atva/atva2013.html#HeizmannHLP13}, volume = 8172, year = 2013 }