%0 Conference Paper %1 conf/tacas/LeikeH14 %A Leike, Jan %A Heizmann, Matthias %B TACAS %D 2014 %E Ábrahám, Erika %E Havelund, Klaus %I Springer %K dblp %P 172-186 %T Ranking Templates for Linear Loops. %U http://dblp.uni-trier.de/db/conf/tacas/tacas2014.html#LeikeH14 %V 8413 %@ 978-3-642-54861-1

@inproceedings{conf/tacas/LeikeH14, added-at = {2018-11-02T00:00:00.000+0100}, author = {Leike, Jan and Heizmann, Matthias}, biburl = {https://www.bibsonomy.org/bibtex/2832792ece5d79379fddaa4f062fce112/dblp}, booktitle = {TACAS}, crossref = {conf/tacas/2014}, editor = {Ábrahám, Erika and Havelund, Klaus}, ee = {https://doi.org/10.1007/978-3-642-54862-8_12}, interhash = {33a0c09571939ce395844354f2b621d6}, intrahash = {832792ece5d79379fddaa4f062fce112}, isbn = {978-3-642-54861-1}, keywords = {dblp}, pages = {172-186}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T14:37:04.000+0200}, title = {Ranking Templates for Linear Loops.}, url = {http://dblp.uni-trier.de/db/conf/tacas/tacas2014.html#LeikeH14}, volume = 8413, year = 2014 }