---
_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.
Formal Asp Comput. 2000;(3):147--164. doi:10.1007/s001650070026
apa: Wehrheim, H. (2000). Data Abstraction Techniques in the Validation of {CSP-OZ}
Specifications. Formal Asp. Comput., (3), 147--164. https://doi.org/10.1007/s001650070026
bibtex: '@article{Wehrheim_2000, title={Data Abstraction Techniques in the Validation
of {CSP-OZ} Specifications}, DOI={10.1007/s001650070026},
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.” Formal Asp. Comput., no. 3 (2000): 147--164. https://doi.org/10.1007/s001650070026.'
ieee: H. Wehrheim, “Data Abstraction Techniques in the Validation of {CSP-OZ} Specifications,”
Formal Asp. Comput., no. 3, pp. 147--164, 2000.
mla: Wehrheim, Heike. “Data Abstraction Techniques in the Validation of {CSP-OZ}
Specifications.” Formal Asp. Comput., no. 3, 2000, pp. 147--164, doi:10.1007/s001650070026.
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'
...