@article{article, title = {{How to prove algorithms linearisable}}, url = {{}}, year = {{2012}}, month = {{1}}, author = {{Schellhorn G and Wehrheim H and Derrick J}}, doi = {{10.1007/978-3-642-31424-7_21}}, volume = {{7358 LNCS}}, journal = {{Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)}}, pages = {{243-259}}, note = {{Accessed on 2025/05/21}}}