%0 Conference Paper %1 conf/sas/ManevichLSRB08 %A Manevich, Roman %A Lev-Ami, Tal %A Sagiv, Mooly %A Ramalingam, Ganesan %A Berdine, Josh %B SAS %D 2008 %E Alpuente, María %E Vidal, Germán %I Springer %K dblp %P 363-377 %T Heap Decomposition for Concurrent Shape Analysis. %U http://dblp.uni-trier.de/db/conf/sas/sas2008.html#ManevichLSRB08 %V 5079 %@ 978-3-540-69163-1

@inproceedings{conf/sas/ManevichLSRB08, added-at = {2017-05-24T00:00:00.000+0200}, author = {Manevich, Roman and Lev-Ami, Tal and Sagiv, Mooly and Ramalingam, Ganesan and Berdine, Josh}, biburl = {https://www.bibsonomy.org/bibtex/2aaf34ba7896beb0f6d4a90b251dbf971/dblp}, booktitle = {SAS}, crossref = {conf/sas/2008}, editor = {Alpuente, María and Vidal, Germán}, ee = {https://doi.org/10.1007/978-3-540-69166-2_24}, interhash = {8a4dbb0ba1059347f7b6f8bc73941f4f}, intrahash = {aaf34ba7896beb0f6d4a90b251dbf971}, isbn = {978-3-540-69163-1}, keywords = {dblp}, pages = {363-377}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-09-26T12:36:43.000+0200}, title = {Heap Decomposition for Concurrent Shape Analysis.}, url = {http://dblp.uni-trier.de/db/conf/sas/sas2008.html#ManevichLSRB08}, volume = 5079, year = 2008 }