Verification of multi-linked heaps

Sorry, there's nothing here.

Cite this paper

@article{Balaban2012VerificationOM, title={Verification of multi-linked heaps}, author={Ittai Balaban and Amir Pnueli and Yaniv Sa'ar and Lenore D. Zuck}, journal={J. Comput. Syst. Sci.}, year={2012}, volume={78}, pages={853-876} }