%0 Journal Article %1 journals/scp/MiliAN09 %A Mili, Ali %A Aharon, Shir %A Nadkarni, Chaitanya %D 2009 %J Sci. Comput. Program. %K %N 11-12 %P 989-1020 %T Mathematics for reasoning about loop functions. %U http://dblp.uni-trier.de/db/journals/scp/scp74.html#MiliAN09 %V 74

@article{journals/scp/MiliAN09, added-at = {2023-12-12T23:38:13.000+0100}, author = {Mili, Ali and Aharon, Shir and Nadkarni, Chaitanya}, biburl = {https://www.bibsonomy.org/bibtex/2568d359be0ec0d4b5add55bdddccd9c3/admin}, date = {2010-01-13}, ee = {http://dx.doi.org/10.1016/j.scico.2009.09.009}, interhash = {5835b0b088112d4bc907d6d1b6b1c73b}, intrahash = {568d359be0ec0d4b5add55bdddccd9c3}, journal = {Sci. Comput. Program.}, keywords = {}, number = {11-12}, pages = {989-1020}, timestamp = {2023-12-12T23:38:13.000+0100}, title = {Mathematics for reasoning about loop functions.}, url = {http://dblp.uni-trier.de/db/journals/scp/scp74.html#MiliAN09}, volume = 74, year = 2009 }