{"author":[{"last_name":"Dalvandi","full_name":"Dalvandi, Sadegh","first_name":"Sadegh"},{"first_name":"Simon","full_name":"Doherty, Simon","last_name":"Doherty"},{"full_name":"Dongol, Brijesh","last_name":"Dongol","first_name":"Brijesh"},{"full_name":"Wehrheim, Heike","id":"573","last_name":"Wehrheim","first_name":"Heike"}],"status":"public","intvolume":"         6","year":"2020","user_id":"29719","citation":{"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>","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.","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>","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>.","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>.","short":"S. Dalvandi, S. Doherty, B. Dongol, H. Wehrheim, Dagstuhl Artifacts Ser. 6 (2020) 15:1-15:2.","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} }"},"date_created":"2021-01-19T10:25:27Z","_id":"21016","title":"Owicki-Gries Reasoning for C11 RAR (Artifact)","department":[{"_id":"77"}],"volume":6,"issue":"2","language":[{"iso":"eng"}],"page":"15:1-15:2","type":"journal_article","date_updated":"2022-01-06T06:54:42Z","publication":"Dagstuhl Artifacts Ser.","doi":"10.4230/DARTS.6.2.15"}