Formal Verification of Skiplists with Arbitrary Many Levels
From MaRDI portal
Publication:3457806
DOI10.1007/978-3-319-11936-6_23zbMath1448.68317MaRDI QIDQ3457806
César Sánchez, Alejandro D. Sánchez
Publication date: 17 December 2015
Published in: Automated Technology for Verification and Analysis (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-319-11936-6_23
Related Items