[{"page":"227--257","uri_base":"https://ris.uni-paderborn.de","type":"journal_article","citation":{"ieee":"E.-R. Olderog and H. Wehrheim, “Specification and (property) inheritance in {CSP-OZ},” Sci. Comput. Program., no. 1–3, pp. 227--257, 2005.","short":"E.-R. Olderog, H. Wehrheim, Sci. Comput. Program. (2005) 227--257.","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.","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"},"creator":{"login":"schlatt","id":"29719"},"issue":"1-3","date_updated":"2022-01-06T06:59:06Z","_id":"3227","dini_type":"doc-type:article","date_created":"2018-06-14T06:38:42Z","status":"public","publication":"Sci. Comput. Program.","department":[{"_id":"77","tree":[{"_id":"7"},{"_id":"34"},{"_id":"44"},{"_id":"43"}]}],"author":[{"first_name":"Ernst-Rüdiger","last_name":"Olderog"},{"first_name":"Heike","id":"573","last_name":"Wehrheim"}],"dc":{"title":["Specification and (property) inheritance in {CSP-OZ}"],"source":["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"],"creator":["Olderog, Ernst-Rüdiger","Wehrheim, Heike"],"relation":["info:eu-repo/semantics/altIdentifier/doi/10.1016/j.scico.2004.05.017"],"date":["2005"],"identifier":["https://ris.uni-paderborn.de/record/3227"],"type":["info:eu-repo/semantics/article","doc-type:article","text","http://purl.org/coar/resource_type/c_6501"],"rights":["info:eu-repo/semantics/closedAccess"]},"user_id":"29719"}]