%0 Journal Article %1 journals/corr/abs-cs-0512056 %A Bagnara, Roberto %A Pescetti, Andrea %A Zaccagnini, Alessandro %A Zaffanella, Enea %D 2005 %J CoRR %K algorithm analysis complexity %T PURRS: Towards Computer Algebra Support for Fully Automatic Worst-Case Complexity Analysis %U http://dblp.uni-trier.de/db/journals/corr/corr0512.html#abs-cs-0512056 %V abs/cs/0512056

@article{journals/corr/abs-cs-0512056, added-at = {2009-04-03T12:58:21.000+0200}, author = {Bagnara, Roberto and Pescetti, Andrea and Zaccagnini, Alessandro and Zaffanella, Enea}, biburl = {https://www.bibsonomy.org/bibtex/226a1ab743091848cd99e22f0360fa249/gwpl}, date = {2008-01-02}, description = {dblp}, ee = {http://arxiv.org/abs/cs/0512056}, interhash = {739be4af05504b1d5f1939037e20fa6c}, intrahash = {26a1ab743091848cd99e22f0360fa249}, journal = {CoRR}, keywords = {algorithm analysis complexity}, note = {informal publication}, timestamp = {2009-04-03T12:58:21.000+0200}, title = {PURRS: Towards Computer Algebra Support for Fully Automatic Worst-Case Complexity Analysis}, url = {http://dblp.uni-trier.de/db/journals/corr/corr0512.html#abs-cs-0512056}, volume = {abs/cs/0512056}, year = 2005 }