{"page":"263-279","year":"2019","_id":"10091","title":"Data Independence for Software Transactional Memory","citation":{"mla":"König, Jürgen, and Heike Wehrheim. “Data Independence for Software Transactional Memory.” <i>{NASA} Formal Methods - 11th International Symposium, {NFM} 2019, Houston, TX, USA, May 7-9, 2019, Proceedings</i>, edited by Julia M. Badger and Kristin Yvonne Rozier, vol. 11460, Springer, 2019, pp. 263–79, doi:<a href=\"https://doi.org/10.1007/978-3-030-20652-9\\_18\">10.1007/978-3-030-20652-9\\_18</a>.","ieee":"J. König and H. Wehrheim, “Data Independence for Software Transactional Memory,” in <i>{NASA} Formal Methods - 11th International Symposium, {NFM} 2019, Houston, TX, USA, May 7-9, 2019, Proceedings</i>, 2019, vol. 11460, pp. 263–279.","bibtex":"@inproceedings{König_Wehrheim_2019, series={Lecture Notes in Computer Science}, title={Data Independence for Software Transactional Memory}, volume={11460}, DOI={<a href=\"https://doi.org/10.1007/978-3-030-20652-9\\_18\">10.1007/978-3-030-20652-9\\_18</a>}, booktitle={{NASA} Formal Methods - 11th International Symposium, {NFM} 2019, Houston, TX, USA, May 7-9, 2019, Proceedings}, publisher={Springer}, author={König, Jürgen and Wehrheim, Heike}, editor={M. Badger, Julia and Yvonne Rozier, KristinEditors}, year={2019}, pages={263–279}, collection={Lecture Notes in Computer Science} }","short":"J. König, H. Wehrheim, in: J. M. Badger, K. Yvonne Rozier (Eds.), {NASA} Formal Methods - 11th International Symposium, {NFM} 2019, Houston, TX, USA, May 7-9, 2019, Proceedings, Springer, 2019, pp. 263–279.","apa":"König, J., &#38; Wehrheim, H. (2019). Data Independence for Software Transactional Memory. In J. M. Badger &#38; K. Yvonne Rozier (Eds.), <i>{NASA} Formal Methods - 11th International Symposium, {NFM} 2019, Houston, TX, USA, May 7-9, 2019, Proceedings</i> (Vol. 11460, pp. 263–279). Springer. <a href=\"https://doi.org/10.1007/978-3-030-20652-9\\_18\">https://doi.org/10.1007/978-3-030-20652-9\\_18</a>","chicago":"König, Jürgen, and Heike Wehrheim. “Data Independence for Software Transactional Memory.” In <i>{NASA} Formal Methods - 11th International Symposium, {NFM} 2019, Houston, TX, USA, May 7-9, 2019, Proceedings</i>, edited by Julia M. Badger and Kristin Yvonne Rozier, 11460:263–79. Lecture Notes in Computer Science. Springer, 2019. <a href=\"https://doi.org/10.1007/978-3-030-20652-9\\_18\">https://doi.org/10.1007/978-3-030-20652-9\\_18</a>.","ama":"König J, Wehrheim H. Data Independence for Software Transactional Memory. In: M. Badger J, Yvonne Rozier K, eds. <i>{NASA} Formal Methods - 11th International Symposium, {NFM} 2019, Houston, TX, USA, May 7-9, 2019, Proceedings</i>. Vol 11460. Lecture Notes in Computer Science. Springer; 2019:263-279. doi:<a href=\"https://doi.org/10.1007/978-3-030-20652-9\\_18\">10.1007/978-3-030-20652-9\\_18</a>"},"publisher":"Springer","publication":"{NASA} Formal Methods - 11th International Symposium, {NFM} 2019, Houston, TX, USA, May 7-9, 2019, Proceedings","user_id":"22358","series_title":"Lecture Notes in Computer Science","language":[{"iso":"eng"}],"doi":"10.1007/978-3-030-20652-9\\_18","department":[{"_id":"77"}],"status":"public","author":[{"id":"22358","first_name":"Jürgen","last_name":"König","full_name":"König, Jürgen"},{"last_name":"Wehrheim","full_name":"Wehrheim, Heike","id":"573","first_name":"Heike"}],"volume":11460,"project":[{"_id":"78","name":"Validation of Software Transactional Memory"}],"type":"conference","editor":[{"last_name":"M. Badger","full_name":"M. Badger, Julia","first_name":"Julia"},{"full_name":"Yvonne Rozier, Kristin","last_name":"Yvonne Rozier","first_name":"Kristin"}],"intvolume":"     11460","date_updated":"2022-01-06T06:50:28Z","date_created":"2019-06-03T07:51:26Z"}