{"user_id":"29719","year":"2005","citation":{"apa":"Olderog, E.-R., & Wehrheim, H. (2005). Specification and (property) inheritance in {CSP-OZ}. Sci. Comput. Program., (1–3), 227--257. https://doi.org/10.1016/j.scico.2004.05.017","ama":"Olderog E-R, Wehrheim H. Specification and (property) inheritance in {CSP-OZ}. Sci Comput Program. 2005;(1-3):227--257. doi:10.1016/j.scico.2004.05.017","short":"E.-R. Olderog, H. Wehrheim, Sci. Comput. Program. (2005) 227--257.","ieee":"E.-R. Olderog and H. Wehrheim, “Specification and (property) inheritance in {CSP-OZ},” Sci. Comput. Program., no. 1–3, pp. 227--257, 2005.","mla":"Olderog, Ernst-Rüdiger, and Heike Wehrheim. “Specification and (Property) Inheritance in {CSP-OZ}.” Sci. Comput. Program., no. 1–3, 2005, pp. 227--257, doi:10.1016/j.scico.2004.05.017.","bibtex":"@article{Olderog_Wehrheim_2005, title={Specification and (property) inheritance in {CSP-OZ}}, DOI={10.1016/j.scico.2004.05.017}, number={1–3}, journal={Sci. Comput. Program.}, author={Olderog, Ernst-Rüdiger and Wehrheim, Heike}, year={2005}, pages={227--257} }","chicago":"Olderog, Ernst-Rüdiger, and Heike Wehrheim. “Specification and (Property) Inheritance in {CSP-OZ}.” Sci. Comput. Program., no. 1–3 (2005): 227--257. https://doi.org/10.1016/j.scico.2004.05.017."},"title":"Specification and (property) inheritance in {CSP-OZ}","_id":"3227","type":"journal_article","page":"227--257","author":[{"full_name":"Olderog, Ernst-Rüdiger","last_name":"Olderog","first_name":"Ernst-Rüdiger"},{"full_name":"Wehrheim, Heike","id":"573","last_name":"Wehrheim","first_name":"Heike"}],"date_updated":"2022-01-06T06:59:06Z","department":[{"_id":"77"}],"issue":"1-3","date_created":"2018-06-14T06:38:42Z","doi":"10.1016/j.scico.2004.05.017","publication":"Sci. Comput. Program.","status":"public"}