Specification and (property) inheritance in {CSP-OZ}
E.-R. Olderog, H. Wehrheim, Sci. Comput. Program. (2005) 227--257.
Download
No fulltext has been uploaded.
Journal Article
Author
Olderog, Ernst-Rüdiger;
Wehrheim, HeikeLibreCat
Publishing Year
Journal Title
Sci. Comput. Program.
Issue
1-3
Page
227--257
LibreCat-ID
Cite this
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
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
@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} }
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.
E.-R. Olderog and H. Wehrheim, “Specification and (property) inheritance in {CSP-OZ},” Sci. Comput. Program., no. 1–3, pp. 227--257, 2005.
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.
Google Scholar