%0 Conference Paper %1 journals/entcs/MiliAAN09 %A Mili, Ali %A Ayed, Rahma Ben %A Aharon, Shir %A Nadkarni, Chaitanya %B TTSS %D 2008 %E Zhao, Jianhua %E Stolz, Volker %I Elsevier %K dblp %P 139-155 %T Harnessing a Refinement Theory to Compute Loop Functions. %U http://dblp.uni-trier.de/db/journals/entcs/entcs243.html#MiliAAN09 %V 243

@inproceedings{journals/entcs/MiliAAN09, added-at = {2024-01-31T00:00:00.000+0100}, author = {Mili, Ali and Ayed, Rahma Ben and Aharon, Shir and Nadkarni, Chaitanya}, biburl = {https://www.bibsonomy.org/bibtex/25e966c9c55fde402fff76729ffeb20f7/dblp}, booktitle = {TTSS}, crossref = {conf/ttss/2008}, editor = {Zhao, Jianhua and Stolz, Volker}, ee = {https://doi.org/10.1016/j.entcs.2009.07.010}, interhash = {6c8c89d9fecadd02a06d8bb9f4b5b709}, intrahash = {5e966c9c55fde402fff76729ffeb20f7}, keywords = {dblp}, pages = {139-155}, publisher = {Elsevier}, series = {Electronic Notes in Theoretical Computer Science}, timestamp = {2024-04-09T22:51:59.000+0200}, title = {Harnessing a Refinement Theory to Compute Loop Functions.}, url = {http://dblp.uni-trier.de/db/journals/entcs/entcs243.html#MiliAAN09}, volume = 243, year = 2008 }