[{"date_created":"2018-06-14T07:19:50Z","department":[{"_id":"77"}],"type":"journal_article","citation":{"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>.","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} }","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>","ieee":"H. Wehrheim, “Data Abstraction Techniques in the Validation of {CSP-OZ} Specifications,” <i>Formal Asp. Comput.</i>, no. 3, pp. 147--164, 2000.","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>","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>.","short":"H. Wehrheim, Formal Asp. Comput. (2000) 147--164."},"publication":"Formal Asp. Comput.","issue":"3","_id":"3248","page":"147--164","user_id":"29719","doi":"10.1007/s001650070026","author":[{"first_name":"Heike","last_name":"Wehrheim","full_name":"Wehrheim, Heike","id":"573"}],"year":"2000","status":"public","title":"Data Abstraction Techniques in the Validation of {CSP-OZ} Specifications","date_updated":"2022-01-06T06:59:07Z"}]