---
_id: '3243'
author:
- first_name: Heike
  full_name: Wehrheim, Heike
  id: '573'
  last_name: Wehrheim
citation:
  ama: 'Wehrheim H. Checking Behavioural Subtypes via Refinement. In: Jacobs B, Rensink
    A, eds. <i>Formal Methods for Open Object-Based Distributed Systems V, {IFIP}
    {TC6/WG6.1} Fifth International Conference on Formal Methods for Open Object-Based
    Distributed Systems {(FMOODS} 2002), March 20-22, 2002, Enschede, The Netherlands</i>.
    {IFIP} Conference Proceedings. ; 2002:79--93.'
  apa: Wehrheim, H. (2002). Checking Behavioural Subtypes via Refinement. In B. Jacobs
    &#38; A. Rensink (Eds.), <i>Formal Methods for Open Object-Based Distributed Systems
    V, {IFIP} {TC6/WG6.1} Fifth International Conference on Formal Methods for Open
    Object-Based Distributed Systems {(FMOODS} 2002), March 20-22, 2002, Enschede,
    The Netherlands</i> (pp. 79--93).
  bibtex: '@inproceedings{Wehrheim_2002, series={{IFIP} Conference Proceedings}, title={Checking
    Behavioural Subtypes via Refinement}, booktitle={Formal Methods for Open Object-Based
    Distributed Systems V, {IFIP} {TC6/WG6.1} Fifth International Conference on Formal
    Methods for Open Object-Based Distributed Systems {(FMOODS} 2002), March 20-22,
    2002, Enschede, The Netherlands}, author={Wehrheim, Heike}, editor={Jacobs, Bart
    and Rensink, ArendEditors}, year={2002}, pages={79--93}, collection={{IFIP} Conference
    Proceedings} }'
  chicago: Wehrheim, Heike. “Checking Behavioural Subtypes via Refinement.” In <i>Formal
    Methods for Open Object-Based Distributed Systems V, {IFIP} {TC6/WG6.1} Fifth
    International Conference on Formal Methods for Open Object-Based Distributed Systems
    {(FMOODS} 2002), March 20-22, 2002, Enschede, The Netherlands</i>, edited by Bart
    Jacobs and Arend Rensink, 79--93. {IFIP} Conference Proceedings, 2002.
  ieee: H. Wehrheim, “Checking Behavioural Subtypes via Refinement,” in <i>Formal
    Methods for Open Object-Based Distributed Systems V, {IFIP} {TC6/WG6.1} Fifth
    International Conference on Formal Methods for Open Object-Based Distributed Systems
    {(FMOODS} 2002), March 20-22, 2002, Enschede, The Netherlands</i>, 2002, pp. 79--93.
  mla: Wehrheim, Heike. “Checking Behavioural Subtypes via Refinement.” <i>Formal
    Methods for Open Object-Based Distributed Systems V, {IFIP} {TC6/WG6.1} Fifth
    International Conference on Formal Methods for Open Object-Based Distributed Systems
    {(FMOODS} 2002), March 20-22, 2002, Enschede, The Netherlands</i>, edited by Bart
    Jacobs and Arend Rensink, 2002, pp. 79--93.
  short: 'H. Wehrheim, in: B. Jacobs, A. Rensink (Eds.), Formal Methods for Open Object-Based
    Distributed Systems V, {IFIP} {TC6/WG6.1} Fifth International Conference on Formal
    Methods for Open Object-Based Distributed Systems {(FMOODS} 2002), March 20-22,
    2002, Enschede, The Netherlands, 2002, pp. 79--93.'
date_created: 2018-06-14T07:11:33Z
date_updated: 2022-01-06T06:59:07Z
department:
- _id: '77'
editor:
- first_name: Bart
  full_name: Jacobs, Bart
  last_name: Jacobs
- first_name: Arend
  full_name: Rensink, Arend
  last_name: Rensink
page: 79--93
publication: Formal Methods for Open Object-Based Distributed Systems V, {IFIP} {TC6/WG6.1}
  Fifth International Conference on Formal Methods for Open Object-Based Distributed
  Systems {(FMOODS} 2002), March 20-22, 2002, Enschede, The Netherlands
series_title: '{IFIP} Conference Proceedings'
status: public
title: Checking Behavioural Subtypes via Refinement
type: conference
user_id: '29719'
year: '2002'
...