{"issue":"2","user_id":"29719","publication":"Dagstuhl Artifacts Ser.","title":"Owicki-Gries Reasoning for C11 RAR (Artifact)","citation":{"bibtex":"@article{Dalvandi_Doherty_Dongol_Wehrheim_2020, title={Owicki-Gries Reasoning for C11 RAR (Artifact)}, volume={6}, DOI={<a href=\"https://doi.org/10.4230/DARTS.6.2.15\">10.4230/DARTS.6.2.15</a>}, number={2}, journal={Dagstuhl Artifacts Ser.}, author={Dalvandi, Sadegh and Doherty, Simon and Dongol, Brijesh and Wehrheim, Heike}, year={2020}, pages={15:1-15:2} }","mla":"Dalvandi, Sadegh, et al. “Owicki-Gries Reasoning for C11 RAR (Artifact).” <i>Dagstuhl Artifacts Ser.</i>, vol. 6, no. 2, 2020, pp. 15:1-15:2, doi:<a href=\"https://doi.org/10.4230/DARTS.6.2.15\">10.4230/DARTS.6.2.15</a>.","ieee":"S. Dalvandi, S. Doherty, B. Dongol, and H. Wehrheim, “Owicki-Gries Reasoning for C11 RAR (Artifact),” <i>Dagstuhl Artifacts Ser.</i>, vol. 6, no. 2, pp. 15:1-15:2, 2020.","chicago":"Dalvandi, Sadegh, Simon Doherty, Brijesh Dongol, and Heike Wehrheim. “Owicki-Gries Reasoning for C11 RAR (Artifact).” <i>Dagstuhl Artifacts Ser.</i> 6, no. 2 (2020): 15:1-15:2. <a href=\"https://doi.org/10.4230/DARTS.6.2.15\">https://doi.org/10.4230/DARTS.6.2.15</a>.","apa":"Dalvandi, S., Doherty, S., Dongol, B., &#38; Wehrheim, H. (2020). Owicki-Gries Reasoning for C11 RAR (Artifact). <i>Dagstuhl Artifacts Ser.</i>, <i>6</i>(2), 15:1-15:2. <a href=\"https://doi.org/10.4230/DARTS.6.2.15\">https://doi.org/10.4230/DARTS.6.2.15</a>","short":"S. Dalvandi, S. Doherty, B. Dongol, H. Wehrheim, Dagstuhl Artifacts Ser. 6 (2020) 15:1-15:2.","ama":"Dalvandi S, Doherty S, Dongol B, Wehrheim H. Owicki-Gries Reasoning for C11 RAR (Artifact). <i>Dagstuhl Artifacts Ser</i>. 2020;6(2):15:1-15:2. doi:<a href=\"https://doi.org/10.4230/DARTS.6.2.15\">10.4230/DARTS.6.2.15</a>"},"_id":"21016","year":"2020","page":"15:1-15:2","date_updated":"2022-01-06T06:54:42Z","date_created":"2021-01-19T10:25:27Z","intvolume":"         6","type":"journal_article","volume":6,"department":[{"_id":"77"}],"status":"public","author":[{"full_name":"Dalvandi, Sadegh","last_name":"Dalvandi","first_name":"Sadegh"},{"first_name":"Simon","last_name":"Doherty","full_name":"Doherty, Simon"},{"first_name":"Brijesh","last_name":"Dongol","full_name":"Dongol, Brijesh"},{"id":"573","first_name":"Heike","full_name":"Wehrheim, Heike","last_name":"Wehrheim"}],"language":[{"iso":"eng"}],"doi":"10.4230/DARTS.6.2.15"}