%0 Journal Article %1 journals/ipl/WehrmanHO09 %A Wehrman, Ian %A Hoare, C. A. R. %A O'Hearn, Peter W. %D 2009 %J Inf. Process. Lett. %K dblp %N 17 %P 1001-1004 %T Graphical models of separation logic. %U http://dblp.uni-trier.de/db/journals/ipl/ipl109.html#WehrmanHO09 %V 109

@article{journals/ipl/WehrmanHO09, added-at = {2009-09-03T00:00:00.000+0200}, author = {Wehrman, Ian and Hoare, C. A. R. and O'Hearn, Peter W.}, biburl = {https://www.bibsonomy.org/bibtex/2fb71f80ce5f1d9e7cffad8fb7fc1aac9/dblp}, date = {2009-09-03}, description = {dblp}, ee = {http://dx.doi.org/10.1016/j.ipl.2009.06.003}, interhash = {45d643717897f59fe801fc6f7db1e897}, intrahash = {fb71f80ce5f1d9e7cffad8fb7fc1aac9}, journal = {Inf. Process. Lett.}, keywords = {dblp}, number = 17, pages = {1001-1004}, timestamp = {2009-09-04T11:34:31.000+0200}, title = {Graphical models of separation logic.}, url = {http://dblp.uni-trier.de/db/journals/ipl/ipl109.html#WehrmanHO09}, volume = 109, year = 2009 }