{"date_updated":"2022-01-06T06:52:45Z","type":"conference","publisher":"Springer","language":[{"iso":"eng"}],"series_title":"Lecture Notes in Computer Science","volume":11800,"editor":[{"full_name":"H. ter Beek, Maurice","last_name":"H. ter Beek","first_name":"Maurice"},{"full_name":"McIver, Annabelle","first_name":"Annabelle","last_name":"McIver"},{"last_name":"N. Oliveira","first_name":"Jos{\\'{e}}","full_name":"N. Oliveira, Jos{\\'{e}}"}],"title":"Verifying Correctness of Persistent Concurrent Data Structures","author":[{"full_name":"Derrick, John","last_name":"Derrick","first_name":"John"},{"full_name":"Doherty, Simon","first_name":"Simon","last_name":"Doherty"},{"first_name":"Brijesh","last_name":"Dongol","full_name":"Dongol, Brijesh"},{"full_name":"Schellhorn, Gerhard","last_name":"Schellhorn","first_name":"Gerhard"},{"id":"573","full_name":"Wehrheim, Heike","first_name":"Heike","last_name":"Wehrheim"}],"citation":{"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>.","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>","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>","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.","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>.","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} }"},"doi":"10.1007/978-3-030-30942-8\\_12","intvolume":"     11800","_id":"16215","date_created":"2020-03-03T08:15:53Z","status":"public","department":[{"_id":"34"},{"_id":"77"}],"user_id":"29719","page":"179-195","year":"2019","publication":"Formal Methods - The Next 30 Years - Third World Congress, {FM} 2019, Porto, Portugal, October 7-11, 2019, Proceedings"}