[{"status":"public","series_title":"Lecture Notes in Computer Science","citation":{"chicago":"Derrick, John, Simon Doherty, Brijesh Dongol, Gerhard Schellhorn, and Heike Wehrheim. “Verifying Correctness of Persistent Concurrent Data Structures.” In <i>Formal Methods - The Next 30 Years - Third World Congress, {FM} 2019, Porto, Portugal, October 7-11, 2019, Proceedings</i>, edited by Maurice H. ter Beek, Annabelle McIver, and Jos{\\’{e}} N. Oliveira, 11800:179–95. Lecture Notes in Computer Science. Springer, 2019. <a href=\"https://doi.org/10.1007/978-3-030-30942-8\\_12\">https://doi.org/10.1007/978-3-030-30942-8\\_12</a>.","ieee":"J. Derrick, S. Doherty, B. Dongol, G. Schellhorn, and H. Wehrheim, “Verifying Correctness of Persistent Concurrent Data Structures,” in <i>Formal Methods - The Next 30 Years - Third World Congress, {FM} 2019, Porto, Portugal, October 7-11, 2019, Proceedings</i>, 2019, vol. 11800, pp. 179–195.","mla":"Derrick, John, et al. “Verifying Correctness of Persistent Concurrent Data Structures.” <i>Formal Methods - The Next 30 Years - Third World Congress, {FM} 2019, Porto, Portugal, October 7-11, 2019, Proceedings</i>, edited by Maurice H. ter Beek et al., vol. 11800, Springer, 2019, pp. 179–95, doi:<a href=\"https://doi.org/10.1007/978-3-030-30942-8\\_12\">10.1007/978-3-030-30942-8\\_12</a>.","apa":"Derrick, J., Doherty, S., Dongol, B., Schellhorn, G., &#38; Wehrheim, H. (2019). Verifying Correctness of Persistent Concurrent Data Structures. In M. H. ter Beek, A. McIver, &#38; J. N. Oliveira (Eds.), <i>Formal Methods - The Next 30 Years - Third World Congress, {FM} 2019, Porto, Portugal, October 7-11, 2019, Proceedings</i> (Vol. 11800, pp. 179–195). Springer. <a href=\"https://doi.org/10.1007/978-3-030-30942-8\\_12\">https://doi.org/10.1007/978-3-030-30942-8\\_12</a>","bibtex":"@inproceedings{Derrick_Doherty_Dongol_Schellhorn_Wehrheim_2019, series={Lecture Notes in Computer Science}, title={Verifying Correctness of Persistent Concurrent Data Structures}, volume={11800}, DOI={<a href=\"https://doi.org/10.1007/978-3-030-30942-8\\_12\">10.1007/978-3-030-30942-8\\_12</a>}, booktitle={Formal Methods - The Next 30 Years - Third World Congress, {FM} 2019, Porto, Portugal, October 7-11, 2019, Proceedings}, publisher={Springer}, author={Derrick, John and Doherty, Simon and Dongol, Brijesh and Schellhorn, Gerhard and Wehrheim, Heike}, editor={H. ter Beek, Maurice and McIver, Annabelle and N. Oliveira, Jos{\\’{e}}Editors}, year={2019}, pages={179–195}, collection={Lecture Notes in Computer Science} }","ama":"Derrick J, Doherty S, Dongol B, Schellhorn G, Wehrheim H. Verifying Correctness of Persistent Concurrent Data Structures. In: H. ter Beek M, McIver A, N. Oliveira J, eds. <i>Formal Methods - The Next 30 Years - Third World Congress, {FM} 2019, Porto, Portugal, October 7-11, 2019, Proceedings</i>. Vol 11800. Lecture Notes in Computer Science. Springer; 2019:179-195. doi:<a href=\"https://doi.org/10.1007/978-3-030-30942-8\\_12\">10.1007/978-3-030-30942-8\\_12</a>","short":"J. Derrick, S. Doherty, B. Dongol, G. Schellhorn, H. Wehrheim, in: M. H. ter Beek, A. McIver, J. N. Oliveira (Eds.), Formal Methods - The Next 30 Years - Third World Congress, {FM} 2019, Porto, Portugal, October 7-11, 2019, Proceedings, Springer, 2019, pp. 179–195."},"language":[{"iso":"eng"}],"editor":[{"last_name":"H. ter Beek","first_name":"Maurice","full_name":"H. ter Beek, Maurice"},{"last_name":"McIver","first_name":"Annabelle","full_name":"McIver, Annabelle"},{"first_name":"Jos{\\'{e}}","last_name":"N. Oliveira","full_name":"N. Oliveira, Jos{\\'{e}}"}],"author":[{"full_name":"Derrick, John","last_name":"Derrick","first_name":"John"},{"last_name":"Doherty","first_name":"Simon","full_name":"Doherty, Simon"},{"first_name":"Brijesh","last_name":"Dongol","full_name":"Dongol, Brijesh"},{"full_name":"Schellhorn, Gerhard","first_name":"Gerhard","last_name":"Schellhorn"},{"id":"573","full_name":"Wehrheim, Heike","first_name":"Heike","last_name":"Wehrheim"}],"date_updated":"2020-03-03T08:22:14Z","doi":"10.1007/978-3-030-30942-8\\_12","publication":"Formal Methods - The Next 30 Years - Third World Congress, {FM} 2019, Porto, Portugal, October 7-11, 2019, Proceedings","volume":11800,"user_id":"29719","department":[{"_id":"34"},{"_id":"77"}],"title":"Verifying Correctness of Persistent Concurrent Data Structures","intvolume":"     11800","type":"conference","page":"179-195","date_created":"2020-03-03T08:15:53Z","_id":"16215","publisher":"Springer","year":"2019"}]