%0 Journal Article %1 journals/tinytocs/CookFNO15 %A Cook, Byron %A Fuhs, Carsten %A Nimkar, Kaustubh %A O'Hearn, Peter W. %D 2015 %J Tiny Trans. Comput. Sci. %K %T Embracing Overapproximation for Proving Nontermination. %U http://dblp.uni-trier.de/db/journals/tinytocs/tinytocs3.html#CookFNO15 %V 3

@article{journals/tinytocs/CookFNO15, added-at = {2023-12-13T06:11:18.000+0100}, author = {Cook, Byron and Fuhs, Carsten and Nimkar, Kaustubh and O'Hearn, Peter W.}, biburl = {https://www.bibsonomy.org/bibtex/2a6f8af645aced6ffde6259d11deedbe7/admin}, ee = {http://tinytocs.org/vol3/papers/TinyToCS_3_cook.pdf}, interhash = {ab418b5729c0a9ef04a9987538f88f0f}, intrahash = {a6f8af645aced6ffde6259d11deedbe7}, journal = {Tiny Trans. Comput. Sci.}, keywords = {}, timestamp = {2023-12-13T06:11:18.000+0100}, title = {Embracing Overapproximation for Proving Nontermination.}, url = {http://dblp.uni-trier.de/db/journals/tinytocs/tinytocs3.html#CookFNO15}, volume = 3, year = 2015 }