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