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