Ittai Balaban, Amir Pnueli, Yaniv Sa'ar, Lenore D. Zuck. Verification of multi-linked heaps. J. Comput. Syst. Sci., 78(3):853-876, 2012. [doi]
@article{BalabanPSZ12, title = {Verification of multi-linked heaps}, author = {Ittai Balaban and Amir Pnueli and Yaniv Sa'ar and Lenore D. Zuck}, year = {2012}, doi = {10.1016/j.jcss.2011.08.003}, url = {http://dx.doi.org/10.1016/j.jcss.2011.08.003}, researchr = {https://researchr.org/publication/BalabanPSZ12}, cites = {0}, citedby = {0}, journal = {J. Comput. Syst. Sci.}, volume = {78}, number = {3}, pages = {853-876}, }