Verification of multi-linked heaps

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},
}