Local Shape Analysis for Overlaid Data Structures (bibtex)
by Cezara Dragoi, Constantin Enea, Mihaela Sighireanu
Reference:
Local Shape Analysis for Overlaid Data StructuresCezara Dragoi, Constantin Enea, Mihaela SighireanuSAS, pages 150-171, 2013.
Bibtex Entry:
@inproceedings{DragoiES13,
title = {Local Shape Analysis for Overlaid Data Structures},
ee = {http://dx.doi.org/10.1007/978-3-642-38856-9_10},
booktitle = {SAS},
author = {Cezara Dragoi and Constantin Enea and Mihaela Sighireanu},
url = {/pubpdf/Local_Shape_Analysis_for_Overlaid_Data_Structures.pdf},
year = {2013},
bibsource = {DBLP, http://dblp.uni-trier.de},
pages = {150-171},
crossref = {DBLP:conf/sas/2013},
}
Powered by bibtexbrowser