{"page":"147--164","doi":"10.1007/s001650070026","type":"journal_article","status":"public","date_created":"2018-06-14T07:19:50Z","date_updated":"2022-01-06T06:59:07Z","issue":"3","citation":{"short":"H. Wehrheim, Formal Asp. Comput. (2000) 147--164.","ama":"Wehrheim H. Data Abstraction Techniques in the Validation of {CSP-OZ} Specifications. <i>Formal Asp Comput</i>. 2000;(3):147--164. doi:<a href=\"https://doi.org/10.1007/s001650070026\">10.1007/s001650070026</a>","chicago":"Wehrheim, Heike. “Data Abstraction Techniques in the Validation of {CSP-OZ} Specifications.” <i>Formal Asp. Comput.</i>, no. 3 (2000): 147--164. <a href=\"https://doi.org/10.1007/s001650070026\">https://doi.org/10.1007/s001650070026</a>.","mla":"Wehrheim, Heike. “Data Abstraction Techniques in the Validation of {CSP-OZ} Specifications.” <i>Formal Asp. Comput.</i>, no. 3, 2000, pp. 147--164, doi:<a href=\"https://doi.org/10.1007/s001650070026\">10.1007/s001650070026</a>.","apa":"Wehrheim, H. (2000). Data Abstraction Techniques in the Validation of {CSP-OZ} Specifications. <i>Formal Asp. Comput.</i>, (3), 147--164. <a href=\"https://doi.org/10.1007/s001650070026\">https://doi.org/10.1007/s001650070026</a>","bibtex":"@article{Wehrheim_2000, title={Data Abstraction Techniques in the Validation of {CSP-OZ} Specifications}, DOI={<a href=\"https://doi.org/10.1007/s001650070026\">10.1007/s001650070026</a>}, number={3}, journal={Formal Asp. Comput.}, author={Wehrheim, Heike}, year={2000}, pages={147--164} }","ieee":"H. Wehrheim, “Data Abstraction Techniques in the Validation of {CSP-OZ} Specifications,” <i>Formal Asp. Comput.</i>, no. 3, pp. 147--164, 2000."},"_id":"3248","publication":"Formal Asp. Comput.","year":"2000","author":[{"id":"573","first_name":"Heike","last_name":"Wehrheim","full_name":"Wehrheim, Heike"}],"title":"Data Abstraction Techniques in the Validation of {CSP-OZ} Specifications","department":[{"_id":"77"}],"user_id":"29719"}