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