%0 Journal Article %1 journals/corr/LeikeH15 %A Leike, Jan %A Heizmann, Matthias %D 2015 %J Logical Methods in Computer Science %K %N 1 %T Ranking Templates for Linear Loops. %U http://dblp.uni-trier.de/db/journals/lmcs/lmcs11.html#LeikeH15 %V 11

@article{journals/corr/LeikeH15, added-at = {2023-12-12T17:22:27.000+0100}, author = {Leike, Jan and Heizmann, Matthias}, biburl = {https://www.bibsonomy.org/bibtex/22157fdb52bf6e8706d4de66e362c3644/admin}, ee = {http://arxiv.org/abs/1503.00193}, interhash = {02b3f04f0f3e9961d655bfc776f1427b}, intrahash = {2157fdb52bf6e8706d4de66e362c3644}, journal = {Logical Methods in Computer Science}, keywords = {}, number = 1, timestamp = {2023-12-12T17:22:27.000+0100}, title = {Ranking Templates for Linear Loops.}, url = {http://dblp.uni-trier.de/db/journals/lmcs/lmcs11.html#LeikeH15}, volume = 11, year = 2015 }