---
_id: '3215'
author:
- first_name: Gregor
  full_name: Engels, Gregor
  id: '107'
  last_name: Engels
- first_name: Christian
  full_name: Soltenborn, Christian
  id: '1737'
  last_name: Soltenborn
  orcid: 0000-0002-0342-8227
- first_name: Heike
  full_name: Wehrheim, Heike
  id: '573'
  last_name: Wehrheim
citation:
  ama: 'Engels G, Soltenborn C, Wehrheim H. Analysis of {UML} Activities Using Dynamic
    Meta Modeling. In: M. Bonsangue M, Broch Johnsen E, eds. <i>Formal Methods for
    Open Object-Based Distributed Systems, 9th {IFIP} {WG} 6.1 International Conference,
    {FMOODS} 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings</i>. Lecture Notes
    in Computer Science. ; 2007:76--90. doi:<a href="https://doi.org/10.1007/978-3-540-72952-5_5">10.1007/978-3-540-72952-5_5</a>'
  apa: Engels, G., Soltenborn, C., &#38; Wehrheim, H. (2007). Analysis of {UML} Activities
    Using Dynamic Meta Modeling. In M. M. Bonsangue &#38; E. Broch Johnsen (Eds.),
    <i>Formal Methods for Open Object-Based Distributed Systems, 9th {IFIP} {WG} 6.1
    International Conference, {FMOODS} 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings</i>
    (pp. 76--90). <a href="https://doi.org/10.1007/978-3-540-72952-5_5">https://doi.org/10.1007/978-3-540-72952-5_5</a>
  bibtex: '@inproceedings{Engels_Soltenborn_Wehrheim_2007, series={Lecture Notes in
    Computer Science}, title={Analysis of {UML} Activities Using Dynamic Meta Modeling},
    DOI={<a href="https://doi.org/10.1007/978-3-540-72952-5_5">10.1007/978-3-540-72952-5_5</a>},
    booktitle={Formal Methods for Open Object-Based Distributed Systems, 9th {IFIP}
    {WG} 6.1 International Conference, {FMOODS} 2007, Paphos, Cyprus, June 6-8, 2007,
    Proceedings}, author={Engels, Gregor and Soltenborn, Christian and Wehrheim, Heike},
    editor={M. Bonsangue, Marcello and Broch Johnsen, EinarEditors}, year={2007},
    pages={76--90}, collection={Lecture Notes in Computer Science} }'
  chicago: Engels, Gregor, Christian Soltenborn, and Heike Wehrheim. “Analysis of
    {UML} Activities Using Dynamic Meta Modeling.” In <i>Formal Methods for Open Object-Based
    Distributed Systems, 9th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2007,
    Paphos, Cyprus, June 6-8, 2007, Proceedings</i>, edited by Marcello M. Bonsangue
    and Einar Broch Johnsen, 76--90. Lecture Notes in Computer Science, 2007. <a href="https://doi.org/10.1007/978-3-540-72952-5_5">https://doi.org/10.1007/978-3-540-72952-5_5</a>.
  ieee: G. Engels, C. Soltenborn, and H. Wehrheim, “Analysis of {UML} Activities Using
    Dynamic Meta Modeling,” in <i>Formal Methods for Open Object-Based Distributed
    Systems, 9th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2007, Paphos,
    Cyprus, June 6-8, 2007, Proceedings</i>, 2007, pp. 76--90.
  mla: Engels, Gregor, et al. “Analysis of {UML} Activities Using Dynamic Meta Modeling.”
    <i>Formal Methods for Open Object-Based Distributed Systems, 9th {IFIP} {WG} 6.1
    International Conference, {FMOODS} 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings</i>,
    edited by Marcello M. Bonsangue and Einar Broch Johnsen, 2007, pp. 76--90, doi:<a
    href="https://doi.org/10.1007/978-3-540-72952-5_5">10.1007/978-3-540-72952-5_5</a>.
  short: 'G. Engels, C. Soltenborn, H. Wehrheim, in: M. M. Bonsangue, E. Broch Johnsen
    (Eds.), Formal Methods for Open Object-Based Distributed Systems, 9th {IFIP} {WG}
    6.1 International Conference, {FMOODS} 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings,
    2007, pp. 76--90.'
date_created: 2018-06-13T10:01:31Z
date_updated: 2022-01-06T06:59:05Z
department:
- _id: '77'
doi: 10.1007/978-3-540-72952-5_5
editor:
- first_name: Marcello
  full_name: M. Bonsangue, Marcello
  last_name: M. Bonsangue
- first_name: Einar
  full_name: Broch Johnsen, Einar
  last_name: Broch Johnsen
language:
- iso: eng
page: 76--90
publication: Formal Methods for Open Object-Based Distributed Systems, 9th {IFIP}
  {WG} 6.1 International Conference, {FMOODS} 2007, Paphos, Cyprus, June 6-8, 2007,
  Proceedings
series_title: Lecture Notes in Computer Science
status: public
title: Analysis of {UML} Activities Using Dynamic Meta Modeling
type: conference
user_id: '14955'
year: '2007'
...
---
_id: '3216'
author:
- first_name: Thomas
  full_name: Ruhroth, Thomas
  last_name: Ruhroth
- first_name: Heike
  full_name: Wehrheim, Heike
  id: '573'
  last_name: Wehrheim
citation:
  ama: 'Ruhroth T, Wehrheim H. Refactoring Object-Oriented Specifications with Data
    and Processes. In: M. Bonsangue M, Broch Johnsen E, eds. <i>Formal Methods for
    Open Object-Based Distributed Systems, 9th {IFIP} {WG} 6.1 International Conference,
    {FMOODS} 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings</i>. Lecture Notes
    in Computer Science. ; 2007:236--251. doi:<a href="https://doi.org/10.1007/978-3-540-72952-5_15">10.1007/978-3-540-72952-5_15</a>'
  apa: Ruhroth, T., &#38; Wehrheim, H. (2007). Refactoring Object-Oriented Specifications
    with Data and Processes. In M. M. Bonsangue &#38; E. Broch Johnsen (Eds.), <i>Formal
    Methods for Open Object-Based Distributed Systems, 9th {IFIP} {WG} 6.1 International
    Conference, {FMOODS} 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings</i> (pp.
    236--251). <a href="https://doi.org/10.1007/978-3-540-72952-5_15">https://doi.org/10.1007/978-3-540-72952-5_15</a>
  bibtex: '@inproceedings{Ruhroth_Wehrheim_2007, series={Lecture Notes in Computer
    Science}, title={Refactoring Object-Oriented Specifications with Data and Processes},
    DOI={<a href="https://doi.org/10.1007/978-3-540-72952-5_15">10.1007/978-3-540-72952-5_15</a>},
    booktitle={Formal Methods for Open Object-Based Distributed Systems, 9th {IFIP}
    {WG} 6.1 International Conference, {FMOODS} 2007, Paphos, Cyprus, June 6-8, 2007,
    Proceedings}, author={Ruhroth, Thomas and Wehrheim, Heike}, editor={M. Bonsangue,
    Marcello and Broch Johnsen, EinarEditors}, year={2007}, pages={236--251}, collection={Lecture
    Notes in Computer Science} }'
  chicago: Ruhroth, Thomas, and Heike Wehrheim. “Refactoring Object-Oriented Specifications
    with Data and Processes.” In <i>Formal Methods for Open Object-Based Distributed
    Systems, 9th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2007, Paphos,
    Cyprus, June 6-8, 2007, Proceedings</i>, edited by Marcello M. Bonsangue and Einar
    Broch Johnsen, 236--251. Lecture Notes in Computer Science, 2007. <a href="https://doi.org/10.1007/978-3-540-72952-5_15">https://doi.org/10.1007/978-3-540-72952-5_15</a>.
  ieee: T. Ruhroth and H. Wehrheim, “Refactoring Object-Oriented Specifications with
    Data and Processes,” in <i>Formal Methods for Open Object-Based Distributed Systems,
    9th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2007, Paphos, Cyprus, June
    6-8, 2007, Proceedings</i>, 2007, pp. 236--251.
  mla: Ruhroth, Thomas, and Heike Wehrheim. “Refactoring Object-Oriented Specifications
    with Data and Processes.” <i>Formal Methods for Open Object-Based Distributed
    Systems, 9th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2007, Paphos,
    Cyprus, June 6-8, 2007, Proceedings</i>, edited by Marcello M. Bonsangue and Einar
    Broch Johnsen, 2007, pp. 236--251, doi:<a href="https://doi.org/10.1007/978-3-540-72952-5_15">10.1007/978-3-540-72952-5_15</a>.
  short: 'T. Ruhroth, H. Wehrheim, in: M. M. Bonsangue, E. Broch Johnsen (Eds.), Formal
    Methods for Open Object-Based Distributed Systems, 9th {IFIP} {WG} 6.1 International
    Conference, {FMOODS} 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings, 2007,
    pp. 236--251.'
date_created: 2018-06-13T10:03:09Z
date_updated: 2022-01-06T06:59:05Z
department:
- _id: '77'
doi: 10.1007/978-3-540-72952-5_15
editor:
- first_name: Marcello
  full_name: M. Bonsangue, Marcello
  last_name: M. Bonsangue
- first_name: Einar
  full_name: Broch Johnsen, Einar
  last_name: Broch Johnsen
page: 236--251
publication: Formal Methods for Open Object-Based Distributed Systems, 9th {IFIP}
  {WG} 6.1 International Conference, {FMOODS} 2007, Paphos, Cyprus, June 6-8, 2007,
  Proceedings
series_title: Lecture Notes in Computer Science
status: public
title: Refactoring Object-Oriented Specifications with Data and Processes
type: conference
user_id: '29719'
year: '2007'
...
---
_id: '3221'
author:
- first_name: Wilhelm
  full_name: Schäfer, Wilhelm
  last_name: Schäfer
- first_name: Heike
  full_name: Wehrheim, Heike
  id: '573'
  last_name: Wehrheim
citation:
  ama: 'Schäfer W, Wehrheim H. The Challenges of Building Advanced Mechatronic Systems.
    In: C. Briand L, L. Wolf A, eds. <i>International Conference on Software Engineering,
    {ISCE} 2007, Workshop on the Future of Software Engineering, {FOSE} 2007, May
    23-25, 2007, Minneapolis, MN, {USA}</i>. ; 2007:72--84. doi:<a href="https://doi.org/10.1109/FOSE.2007.28">10.1109/FOSE.2007.28</a>'
  apa: Schäfer, W., &#38; Wehrheim, H. (2007). The Challenges of Building Advanced
    Mechatronic Systems. In L. C. Briand &#38; A. L. Wolf (Eds.), <i>International
    Conference on Software Engineering, {ISCE} 2007, Workshop on the Future of Software
    Engineering, {FOSE} 2007, May 23-25, 2007, Minneapolis, MN, {USA}</i> (pp. 72--84).
    <a href="https://doi.org/10.1109/FOSE.2007.28">https://doi.org/10.1109/FOSE.2007.28</a>
  bibtex: '@inproceedings{Schäfer_Wehrheim_2007, title={The Challenges of Building
    Advanced Mechatronic Systems}, DOI={<a href="https://doi.org/10.1109/FOSE.2007.28">10.1109/FOSE.2007.28</a>},
    booktitle={International Conference on Software Engineering, {ISCE} 2007, Workshop
    on the Future of Software Engineering, {FOSE} 2007, May 23-25, 2007, Minneapolis,
    MN, {USA}}, author={Schäfer, Wilhelm and Wehrheim, Heike}, editor={C. Briand,
    Lionel and L. Wolf, AlexanderEditors}, year={2007}, pages={72--84} }'
  chicago: Schäfer, Wilhelm, and Heike Wehrheim. “The Challenges of Building Advanced
    Mechatronic Systems.” In <i>International Conference on Software Engineering,
    {ISCE} 2007, Workshop on the Future of Software Engineering, {FOSE} 2007, May
    23-25, 2007, Minneapolis, MN, {USA}</i>, edited by Lionel C. Briand and Alexander
    L. Wolf, 72--84, 2007. <a href="https://doi.org/10.1109/FOSE.2007.28">https://doi.org/10.1109/FOSE.2007.28</a>.
  ieee: W. Schäfer and H. Wehrheim, “The Challenges of Building Advanced Mechatronic
    Systems,” in <i>International Conference on Software Engineering, {ISCE} 2007,
    Workshop on the Future of Software Engineering, {FOSE} 2007, May 23-25, 2007,
    Minneapolis, MN, {USA}</i>, 2007, pp. 72--84.
  mla: Schäfer, Wilhelm, and Heike Wehrheim. “The Challenges of Building Advanced
    Mechatronic Systems.” <i>International Conference on Software Engineering, {ISCE}
    2007, Workshop on the Future of Software Engineering, {FOSE} 2007, May 23-25,
    2007, Minneapolis, MN, {USA}</i>, edited by Lionel C. Briand and Alexander L.
    Wolf, 2007, pp. 72--84, doi:<a href="https://doi.org/10.1109/FOSE.2007.28">10.1109/FOSE.2007.28</a>.
  short: 'W. Schäfer, H. Wehrheim, in: L. C. Briand, A. L. Wolf (Eds.), International
    Conference on Software Engineering, {ISCE} 2007, Workshop on the Future of Software
    Engineering, {FOSE} 2007, May 23-25, 2007, Minneapolis, MN, {USA}, 2007, pp. 72--84.'
date_created: 2018-06-14T06:30:41Z
date_updated: 2022-01-06T06:59:05Z
department:
- _id: '77'
doi: 10.1109/FOSE.2007.28
editor:
- first_name: Lionel
  full_name: C. Briand, Lionel
  last_name: C. Briand
- first_name: Alexander
  full_name: L. Wolf, Alexander
  last_name: L. Wolf
page: 72--84
publication: International Conference on Software Engineering, {ISCE} 2007, Workshop
  on the Future of Software Engineering, {FOSE} 2007, May 23-25, 2007, Minneapolis,
  MN, {USA}
status: public
title: The Challenges of Building Advanced Mechatronic Systems
type: conference
user_id: '29719'
year: '2007'
...
---
_id: '3222'
author:
- first_name: John
  full_name: Derrick, John
  last_name: Derrick
- first_name: Gerhard
  full_name: Schellhorn, Gerhard
  last_name: Schellhorn
- first_name: Heike
  full_name: Wehrheim, Heike
  id: '573'
  last_name: Wehrheim
citation:
  ama: 'Derrick J, Schellhorn G, Wehrheim H. Proving Linearizability Via Non-atomic
    Refinement. In: Davies J, Gibbons J, eds. <i>Integrated Formal Methods, 6th International
    Conference, {IFM} 2007, Oxford, UK, July 2-5, 2007, Proceedings</i>. Lecture Notes
    in Computer Science. ; 2007:195--214. doi:<a href="https://doi.org/10.1007/978-3-540-73210-5_11">10.1007/978-3-540-73210-5_11</a>'
  apa: Derrick, J., Schellhorn, G., &#38; Wehrheim, H. (2007). Proving Linearizability
    Via Non-atomic Refinement. In J. Davies &#38; J. Gibbons (Eds.), <i>Integrated
    Formal Methods, 6th International Conference, {IFM} 2007, Oxford, UK, July 2-5,
    2007, Proceedings</i> (pp. 195--214). <a href="https://doi.org/10.1007/978-3-540-73210-5_11">https://doi.org/10.1007/978-3-540-73210-5_11</a>
  bibtex: '@inproceedings{Derrick_Schellhorn_Wehrheim_2007, series={Lecture Notes
    in Computer Science}, title={Proving Linearizability Via Non-atomic Refinement},
    DOI={<a href="https://doi.org/10.1007/978-3-540-73210-5_11">10.1007/978-3-540-73210-5_11</a>},
    booktitle={Integrated Formal Methods, 6th International Conference, {IFM} 2007,
    Oxford, UK, July 2-5, 2007, Proceedings}, author={Derrick, John and Schellhorn,
    Gerhard and Wehrheim, Heike}, editor={Davies, Jim and Gibbons, JeremyEditors},
    year={2007}, pages={195--214}, collection={Lecture Notes in Computer Science}
    }'
  chicago: Derrick, John, Gerhard Schellhorn, and Heike Wehrheim. “Proving Linearizability
    Via Non-Atomic Refinement.” In <i>Integrated Formal Methods, 6th International
    Conference, {IFM} 2007, Oxford, UK, July 2-5, 2007, Proceedings</i>, edited by
    Jim Davies and Jeremy Gibbons, 195--214. Lecture Notes in Computer Science, 2007.
    <a href="https://doi.org/10.1007/978-3-540-73210-5_11">https://doi.org/10.1007/978-3-540-73210-5_11</a>.
  ieee: J. Derrick, G. Schellhorn, and H. Wehrheim, “Proving Linearizability Via Non-atomic
    Refinement,” in <i>Integrated Formal Methods, 6th International Conference, {IFM}
    2007, Oxford, UK, July 2-5, 2007, Proceedings</i>, 2007, pp. 195--214.
  mla: Derrick, John, et al. “Proving Linearizability Via Non-Atomic Refinement.”
    <i>Integrated Formal Methods, 6th International Conference, {IFM} 2007, Oxford,
    UK, July 2-5, 2007, Proceedings</i>, edited by Jim Davies and Jeremy Gibbons,
    2007, pp. 195--214, doi:<a href="https://doi.org/10.1007/978-3-540-73210-5_11">10.1007/978-3-540-73210-5_11</a>.
  short: 'J. Derrick, G. Schellhorn, H. Wehrheim, in: J. Davies, J. Gibbons (Eds.),
    Integrated Formal Methods, 6th International Conference, {IFM} 2007, Oxford, UK,
    July 2-5, 2007, Proceedings, 2007, pp. 195--214.'
date_created: 2018-06-14T06:32:05Z
date_updated: 2022-01-06T06:59:05Z
department:
- _id: '77'
doi: 10.1007/978-3-540-73210-5_11
editor:
- first_name: Jim
  full_name: Davies, Jim
  last_name: Davies
- first_name: Jeremy
  full_name: Gibbons, Jeremy
  last_name: Gibbons
page: 195--214
publication: Integrated Formal Methods, 6th International Conference, {IFM} 2007,
  Oxford, UK, July 2-5, 2007, Proceedings
series_title: Lecture Notes in Computer Science
status: public
title: Proving Linearizability Via Non-atomic Refinement
type: conference
user_id: '29719'
year: '2007'
...
---
_id: '3223'
author:
- first_name: Ingo
  full_name: Brückner, Ingo
  last_name: Brückner
- first_name: Björn
  full_name: Metzler, Björn
  last_name: Metzler
- first_name: Heike
  full_name: Wehrheim, Heike
  id: '573'
  last_name: Wehrheim
citation:
  ama: Brückner I, Metzler B, Wehrheim H. Optimizing Slicing of Formal Specifications
    by Deductive Verification. <i>Nord J Comput</i>. 2006;(1-2):22--45.
  apa: Brückner, I., Metzler, B., &#38; Wehrheim, H. (2006). Optimizing Slicing of
    Formal Specifications by Deductive Verification. <i>Nord. J. Comput.</i>, (1–2),
    22--45.
  bibtex: '@article{Brückner_Metzler_Wehrheim_2006, title={Optimizing Slicing of Formal
    Specifications by Deductive Verification}, number={1–2}, journal={Nord. J. Comput.},
    author={Brückner, Ingo and Metzler, Björn and Wehrheim, Heike}, year={2006}, pages={22--45}
    }'
  chicago: 'Brückner, Ingo, Björn Metzler, and Heike Wehrheim. “Optimizing Slicing
    of Formal Specifications by Deductive Verification.” <i>Nord. J. Comput.</i>,
    no. 1–2 (2006): 22--45.'
  ieee: I. Brückner, B. Metzler, and H. Wehrheim, “Optimizing Slicing of Formal Specifications
    by Deductive Verification,” <i>Nord. J. Comput.</i>, no. 1–2, pp. 22--45, 2006.
  mla: Brückner, Ingo, et al. “Optimizing Slicing of Formal Specifications by Deductive
    Verification.” <i>Nord. J. Comput.</i>, no. 1–2, 2006, pp. 22--45.
  short: I. Brückner, B. Metzler, H. Wehrheim, Nord. J. Comput. (2006) 22--45.
date_created: 2018-06-14T06:33:37Z
date_updated: 2022-01-06T06:59:05Z
department:
- _id: '77'
issue: 1-2
page: 22--45
publication: Nord. J. Comput.
status: public
title: Optimizing Slicing of Formal Specifications by Deductive Verification
type: journal_article
user_id: '29719'
year: '2006'
...
---
_id: '3224'
author:
- first_name: John
  full_name: Derrick, John
  last_name: Derrick
- first_name: Heike
  full_name: Wehrheim, Heike
  id: '573'
  last_name: Wehrheim
citation:
  ama: 'Derrick J, Wehrheim H. Model Transformations Incorporating Multiple Views.
    In: Johnson M, Vene V, eds. <i>Algebraic Methodology and Software Technology,
    11th International Conference, {AMAST} 2006, Kuressaare, Estonia, July 5-8, 2006,
    Proceedings</i>. Lecture Notes in Computer Science. ; 2006:111--126. doi:<a href="https://doi.org/10.1007/11784180_11">10.1007/11784180_11</a>'
  apa: Derrick, J., &#38; Wehrheim, H. (2006). Model Transformations Incorporating
    Multiple Views. In M. Johnson &#38; V. Vene (Eds.), <i>Algebraic Methodology and
    Software Technology, 11th International Conference, {AMAST} 2006, Kuressaare,
    Estonia, July 5-8, 2006, Proceedings</i> (pp. 111--126). <a href="https://doi.org/10.1007/11784180_11">https://doi.org/10.1007/11784180_11</a>
  bibtex: '@inproceedings{Derrick_Wehrheim_2006, series={Lecture Notes in Computer
    Science}, title={Model Transformations Incorporating Multiple Views}, DOI={<a
    href="https://doi.org/10.1007/11784180_11">10.1007/11784180_11</a>}, booktitle={Algebraic
    Methodology and Software Technology, 11th International Conference, {AMAST} 2006,
    Kuressaare, Estonia, July 5-8, 2006, Proceedings}, author={Derrick, John and Wehrheim,
    Heike}, editor={Johnson, Michael and Vene, VarmoEditors}, year={2006}, pages={111--126},
    collection={Lecture Notes in Computer Science} }'
  chicago: Derrick, John, and Heike Wehrheim. “Model Transformations Incorporating
    Multiple Views.” In <i>Algebraic Methodology and Software Technology, 11th International
    Conference, {AMAST} 2006, Kuressaare, Estonia, July 5-8, 2006, Proceedings</i>,
    edited by Michael Johnson and Varmo Vene, 111--126. Lecture Notes in Computer
    Science, 2006. <a href="https://doi.org/10.1007/11784180_11">https://doi.org/10.1007/11784180_11</a>.
  ieee: J. Derrick and H. Wehrheim, “Model Transformations Incorporating Multiple
    Views,” in <i>Algebraic Methodology and Software Technology, 11th International
    Conference, {AMAST} 2006, Kuressaare, Estonia, July 5-8, 2006, Proceedings</i>,
    2006, pp. 111--126.
  mla: Derrick, John, and Heike Wehrheim. “Model Transformations Incorporating Multiple
    Views.” <i>Algebraic Methodology and Software Technology, 11th International Conference,
    {AMAST} 2006, Kuressaare, Estonia, July 5-8, 2006, Proceedings</i>, edited by
    Michael Johnson and Varmo Vene, 2006, pp. 111--126, doi:<a href="https://doi.org/10.1007/11784180_11">10.1007/11784180_11</a>.
  short: 'J. Derrick, H. Wehrheim, in: M. Johnson, V. Vene (Eds.), Algebraic Methodology
    and Software Technology, 11th International Conference, {AMAST} 2006, Kuressaare,
    Estonia, July 5-8, 2006, Proceedings, 2006, pp. 111--126.'
date_created: 2018-06-14T06:34:47Z
date_updated: 2022-01-06T06:59:05Z
department:
- _id: '77'
doi: 10.1007/11784180_11
editor:
- first_name: Michael
  full_name: Johnson, Michael
  last_name: Johnson
- first_name: Varmo
  full_name: Vene, Varmo
  last_name: Vene
page: 111--126
publication: Algebraic Methodology and Software Technology, 11th International Conference,
  {AMAST} 2006, Kuressaare, Estonia, July 5-8, 2006, Proceedings
series_title: Lecture Notes in Computer Science
status: public
title: Model Transformations Incorporating Multiple Views
type: conference
user_id: '29719'
year: '2006'
...
---
_id: '3225'
author:
- first_name: Heike
  full_name: Wehrheim, Heike
  id: '573'
  last_name: Wehrheim
citation:
  ama: 'Wehrheim H. Incremental Slicing. In: Liu Z, He J, eds. <i>Formal Methods and
    Software Engineering, 8th International Conference on Formal Engineering Methods,
    {ICFEM} 2006, Macao, China, November 1-3, 2006, Proceedings</i>. Lecture Notes
    in Computer Science. ; 2006:514--528. doi:<a href="https://doi.org/10.1007/11901433_28">10.1007/11901433_28</a>'
  apa: Wehrheim, H. (2006). Incremental Slicing. In Z. Liu &#38; J. He (Eds.), <i>Formal
    Methods and Software Engineering, 8th International Conference on Formal Engineering
    Methods, {ICFEM} 2006, Macao, China, November 1-3, 2006, Proceedings</i> (pp.
    514--528). <a href="https://doi.org/10.1007/11901433_28">https://doi.org/10.1007/11901433_28</a>
  bibtex: '@inproceedings{Wehrheim_2006, series={Lecture Notes in Computer Science},
    title={Incremental Slicing}, DOI={<a href="https://doi.org/10.1007/11901433_28">10.1007/11901433_28</a>},
    booktitle={Formal Methods and Software Engineering, 8th International Conference
    on Formal Engineering Methods, {ICFEM} 2006, Macao, China, November 1-3, 2006,
    Proceedings}, author={Wehrheim, Heike}, editor={Liu, Zhiming and He, JifengEditors},
    year={2006}, pages={514--528}, collection={Lecture Notes in Computer Science}
    }'
  chicago: Wehrheim, Heike. “Incremental Slicing.” In <i>Formal Methods and Software
    Engineering, 8th International Conference on Formal Engineering Methods, {ICFEM}
    2006, Macao, China, November 1-3, 2006, Proceedings</i>, edited by Zhiming Liu
    and Jifeng He, 514--528. Lecture Notes in Computer Science, 2006. <a href="https://doi.org/10.1007/11901433_28">https://doi.org/10.1007/11901433_28</a>.
  ieee: H. Wehrheim, “Incremental Slicing,” in <i>Formal Methods and Software Engineering,
    8th International Conference on Formal Engineering Methods, {ICFEM} 2006, Macao,
    China, November 1-3, 2006, Proceedings</i>, 2006, pp. 514--528.
  mla: Wehrheim, Heike. “Incremental Slicing.” <i>Formal Methods and Software Engineering,
    8th International Conference on Formal Engineering Methods, {ICFEM} 2006, Macao,
    China, November 1-3, 2006, Proceedings</i>, edited by Zhiming Liu and Jifeng He,
    2006, pp. 514--528, doi:<a href="https://doi.org/10.1007/11901433_28">10.1007/11901433_28</a>.
  short: 'H. Wehrheim, in: Z. Liu, J. He (Eds.), Formal Methods and Software Engineering,
    8th International Conference on Formal Engineering Methods, {ICFEM} 2006, Macao,
    China, November 1-3, 2006, Proceedings, 2006, pp. 514--528.'
date_created: 2018-06-14T06:35:54Z
date_updated: 2022-01-06T06:59:05Z
department:
- _id: '77'
doi: 10.1007/11901433_28
editor:
- first_name: Zhiming
  full_name: Liu, Zhiming
  last_name: Liu
- first_name: Jifeng
  full_name: He, Jifeng
  last_name: He
page: 514--528
publication: Formal Methods and Software Engineering, 8th International Conference
  on Formal Engineering Methods, {ICFEM} 2006, Macao, China, November 1-3, 2006, Proceedings
series_title: Lecture Notes in Computer Science
status: public
title: Incremental Slicing
type: conference
user_id: '29719'
year: '2006'
...
---
_id: '3226'
citation:
  ama: Gorrieri R, Wehrheim H, eds. <i>Formal Methods for Open Object-Based Distributed
    Systems, 8th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2006, Bologna,
    Italy, June 14-16, 2006, Proceedings</i>.; 2006. doi:<a href="https://doi.org/10.1007/11768869">10.1007/11768869</a>
  apa: Gorrieri, R., &#38; Wehrheim, H. (Eds.). (2006). <i>Formal Methods for Open
    Object-Based Distributed Systems, 8th {IFIP} {WG} 6.1 International Conference,
    {FMOODS} 2006, Bologna, Italy, June 14-16, 2006, Proceedings</i>. <a href="https://doi.org/10.1007/11768869">https://doi.org/10.1007/11768869</a>
  bibtex: '@book{Gorrieri_Wehrheim_2006, series={Lecture Notes in Computer Science},
    title={Formal Methods for Open Object-Based Distributed Systems, 8th {IFIP} {WG}
    6.1 International Conference, {FMOODS} 2006, Bologna, Italy, June 14-16, 2006,
    Proceedings}, DOI={<a href="https://doi.org/10.1007/11768869">10.1007/11768869</a>},
    year={2006}, collection={Lecture Notes in Computer Science} }'
  chicago: Gorrieri, Roberto, and Heike Wehrheim, eds. <i>Formal Methods for Open
    Object-Based Distributed Systems, 8th {IFIP} {WG} 6.1 International Conference,
    {FMOODS} 2006, Bologna, Italy, June 14-16, 2006, Proceedings</i>. Lecture Notes
    in Computer Science, 2006. <a href="https://doi.org/10.1007/11768869">https://doi.org/10.1007/11768869</a>.
  ieee: R. Gorrieri and H. Wehrheim, Eds., <i>Formal Methods for Open Object-Based
    Distributed Systems, 8th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2006,
    Bologna, Italy, June 14-16, 2006, Proceedings</i>. 2006.
  mla: Gorrieri, Roberto, and Heike Wehrheim, editors. <i>Formal Methods for Open
    Object-Based Distributed Systems, 8th {IFIP} {WG} 6.1 International Conference,
    {FMOODS} 2006, Bologna, Italy, June 14-16, 2006, Proceedings</i>. 2006, doi:<a
    href="https://doi.org/10.1007/11768869">10.1007/11768869</a>.
  short: R. Gorrieri, H. Wehrheim, eds., Formal Methods for Open Object-Based Distributed
    Systems, 8th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2006, Bologna,
    Italy, June 14-16, 2006, Proceedings, 2006.
date_created: 2018-06-14T06:37:20Z
date_updated: 2022-01-06T06:59:05Z
department:
- _id: '77'
doi: 10.1007/11768869
editor:
- first_name: Roberto
  full_name: Gorrieri, Roberto
  last_name: Gorrieri
- first_name: Heike
  full_name: Wehrheim, Heike
  id: '573'
  last_name: Wehrheim
publication_identifier:
  isbn:
  - 3-540-34893-X
series_title: Lecture Notes in Computer Science
status: public
title: Formal Methods for Open Object-Based Distributed Systems, 8th {IFIP} {WG} 6.1
  International Conference, {FMOODS} 2006, Bologna, Italy, June 14-16, 2006, Proceedings
type: conference_editor
user_id: '29719'
year: '2006'
...
---
_id: '3227'
author:
- first_name: Ernst-Rüdiger
  full_name: Olderog, Ernst-Rüdiger
  last_name: Olderog
- first_name: Heike
  full_name: Wehrheim, Heike
  id: '573'
  last_name: Wehrheim
citation:
  ama: Olderog E-R, Wehrheim H. Specification and (property) inheritance in {CSP-OZ}.
    <i>Sci Comput Program</i>. 2005;(1-3):227--257. doi:<a href="https://doi.org/10.1016/j.scico.2004.05.017">10.1016/j.scico.2004.05.017</a>
  apa: Olderog, E.-R., &#38; Wehrheim, H. (2005). Specification and (property) inheritance
    in {CSP-OZ}. <i>Sci. Comput. Program.</i>, (1–3), 227--257. <a href="https://doi.org/10.1016/j.scico.2004.05.017">https://doi.org/10.1016/j.scico.2004.05.017</a>
  bibtex: '@article{Olderog_Wehrheim_2005, title={Specification and (property) inheritance
    in {CSP-OZ}}, DOI={<a href="https://doi.org/10.1016/j.scico.2004.05.017">10.1016/j.scico.2004.05.017</a>},
    number={1–3}, journal={Sci. Comput. Program.}, author={Olderog, Ernst-Rüdiger
    and Wehrheim, Heike}, year={2005}, pages={227--257} }'
  chicago: 'Olderog, Ernst-Rüdiger, and Heike Wehrheim. “Specification and (Property)
    Inheritance in {CSP-OZ}.” <i>Sci. Comput. Program.</i>, no. 1–3 (2005): 227--257.
    <a href="https://doi.org/10.1016/j.scico.2004.05.017">https://doi.org/10.1016/j.scico.2004.05.017</a>.'
  ieee: E.-R. Olderog and H. Wehrheim, “Specification and (property) inheritance in
    {CSP-OZ},” <i>Sci. Comput. Program.</i>, no. 1–3, pp. 227--257, 2005.
  mla: Olderog, Ernst-Rüdiger, and Heike Wehrheim. “Specification and (Property) Inheritance
    in {CSP-OZ}.” <i>Sci. Comput. Program.</i>, no. 1–3, 2005, pp. 227--257, doi:<a
    href="https://doi.org/10.1016/j.scico.2004.05.017">10.1016/j.scico.2004.05.017</a>.
  short: E.-R. Olderog, H. Wehrheim, Sci. Comput. Program. (2005) 227--257.
date_created: 2018-06-14T06:38:42Z
date_updated: 2022-01-06T06:59:06Z
department:
- _id: '77'
doi: 10.1016/j.scico.2004.05.017
issue: 1-3
page: 227--257
publication: Sci. Comput. Program.
status: public
title: Specification and (property) inheritance in {CSP-OZ}
type: journal_article
user_id: '29719'
year: '2005'
...
---
_id: '3228'
author:
- first_name: Heike
  full_name: Wehrheim, Heike
  id: '573'
  last_name: Wehrheim
citation:
  ama: Wehrheim H. Slicing techniques for verification re-use. <i>Theor Comput Sci</i>.
    2005;(3):509--528. doi:<a href="https://doi.org/10.1016/j.tcs.2005.06.020">10.1016/j.tcs.2005.06.020</a>
  apa: Wehrheim, H. (2005). Slicing techniques for verification re-use. <i>Theor.
    Comput. Sci.</i>, (3), 509--528. <a href="https://doi.org/10.1016/j.tcs.2005.06.020">https://doi.org/10.1016/j.tcs.2005.06.020</a>
  bibtex: '@article{Wehrheim_2005, title={Slicing techniques for verification re-use},
    DOI={<a href="https://doi.org/10.1016/j.tcs.2005.06.020">10.1016/j.tcs.2005.06.020</a>},
    number={3}, journal={Theor. Comput. Sci.}, author={Wehrheim, Heike}, year={2005},
    pages={509--528} }'
  chicago: 'Wehrheim, Heike. “Slicing Techniques for Verification Re-Use.” <i>Theor.
    Comput. Sci.</i>, no. 3 (2005): 509--528. <a href="https://doi.org/10.1016/j.tcs.2005.06.020">https://doi.org/10.1016/j.tcs.2005.06.020</a>.'
  ieee: H. Wehrheim, “Slicing techniques for verification re-use,” <i>Theor. Comput.
    Sci.</i>, no. 3, pp. 509--528, 2005.
  mla: Wehrheim, Heike. “Slicing Techniques for Verification Re-Use.” <i>Theor. Comput.
    Sci.</i>, no. 3, 2005, pp. 509--528, doi:<a href="https://doi.org/10.1016/j.tcs.2005.06.020">10.1016/j.tcs.2005.06.020</a>.
  short: H. Wehrheim, Theor. Comput. Sci. (2005) 509--528.
date_created: 2018-06-14T06:40:02Z
date_updated: 2022-01-06T06:59:06Z
department:
- _id: '77'
doi: 10.1016/j.tcs.2005.06.020
issue: '3'
page: 509--528
publication: Theor. Comput. Sci.
status: public
title: Slicing techniques for verification re-use
type: journal_article
user_id: '29719'
year: '2005'
...
---
_id: '3229'
author:
- first_name: Holger
  full_name: Rasch, Holger
  last_name: Rasch
- first_name: Heike
  full_name: Wehrheim, Heike
  id: '573'
  last_name: Wehrheim
citation:
  ama: 'Rasch H, Wehrheim H. Checking the Validity of Scenarios in {UML} Models. In:
    Steffen M, Zavattaro G, eds. <i>Formal Methods for Open Object-Based Distributed
    Systems, 7th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2005, Athens,
    Greece, June 15-17, 2005, Proceedings</i>. Lecture Notes in Computer Science.
    ; 2005:67--82. doi:<a href="https://doi.org/10.1007/11494881_5">10.1007/11494881_5</a>'
  apa: Rasch, H., &#38; Wehrheim, H. (2005). Checking the Validity of Scenarios in
    {UML} Models. In M. Steffen &#38; G. Zavattaro (Eds.), <i>Formal Methods for Open
    Object-Based Distributed Systems, 7th {IFIP} {WG} 6.1 International Conference,
    {FMOODS} 2005, Athens, Greece, June 15-17, 2005, Proceedings</i> (pp. 67--82).
    <a href="https://doi.org/10.1007/11494881_5">https://doi.org/10.1007/11494881_5</a>
  bibtex: '@inproceedings{Rasch_Wehrheim_2005, series={Lecture Notes in Computer Science},
    title={Checking the Validity of Scenarios in {UML} Models}, DOI={<a href="https://doi.org/10.1007/11494881_5">10.1007/11494881_5</a>},
    booktitle={Formal Methods for Open Object-Based Distributed Systems, 7th {IFIP}
    {WG} 6.1 International Conference, {FMOODS} 2005, Athens, Greece, June 15-17,
    2005, Proceedings}, author={Rasch, Holger and Wehrheim, Heike}, editor={Steffen,
    Martin and Zavattaro, GianluigiEditors}, year={2005}, pages={67--82}, collection={Lecture
    Notes in Computer Science} }'
  chicago: Rasch, Holger, and Heike Wehrheim. “Checking the Validity of Scenarios
    in {UML} Models.” In <i>Formal Methods for Open Object-Based Distributed Systems,
    7th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2005, Athens, Greece, June
    15-17, 2005, Proceedings</i>, edited by Martin Steffen and Gianluigi Zavattaro,
    67--82. Lecture Notes in Computer Science, 2005. <a href="https://doi.org/10.1007/11494881_5">https://doi.org/10.1007/11494881_5</a>.
  ieee: H. Rasch and H. Wehrheim, “Checking the Validity of Scenarios in {UML} Models,”
    in <i>Formal Methods for Open Object-Based Distributed Systems, 7th {IFIP} {WG}
    6.1 International Conference, {FMOODS} 2005, Athens, Greece, June 15-17, 2005,
    Proceedings</i>, 2005, pp. 67--82.
  mla: Rasch, Holger, and Heike Wehrheim. “Checking the Validity of Scenarios in {UML}
    Models.” <i>Formal Methods for Open Object-Based Distributed Systems, 7th {IFIP}
    {WG} 6.1 International Conference, {FMOODS} 2005, Athens, Greece, June 15-17,
    2005, Proceedings</i>, edited by Martin Steffen and Gianluigi Zavattaro, 2005,
    pp. 67--82, doi:<a href="https://doi.org/10.1007/11494881_5">10.1007/11494881_5</a>.
  short: 'H. Rasch, H. Wehrheim, in: M. Steffen, G. Zavattaro (Eds.), Formal Methods
    for Open Object-Based Distributed Systems, 7th {IFIP} {WG} 6.1 International Conference,
    {FMOODS} 2005, Athens, Greece, June 15-17, 2005, Proceedings, 2005, pp. 67--82.'
date_created: 2018-06-14T06:41:20Z
date_updated: 2022-01-06T06:59:06Z
department:
- _id: '77'
doi: 10.1007/11494881_5
editor:
- first_name: Martin
  full_name: Steffen, Martin
  last_name: Steffen
- first_name: Gianluigi
  full_name: Zavattaro, Gianluigi
  last_name: Zavattaro
page: 67--82
publication: Formal Methods for Open Object-Based Distributed Systems, 7th {IFIP}
  {WG} 6.1 International Conference, {FMOODS} 2005, Athens, Greece, June 15-17, 2005,
  Proceedings
series_title: Lecture Notes in Computer Science
status: public
title: Checking the Validity of Scenarios in {UML} Models
type: conference
user_id: '29719'
year: '2005'
...
---
_id: '3230'
author:
- first_name: Ingo
  full_name: Brückner, Ingo
  last_name: Brückner
- first_name: Heike
  full_name: Wehrheim, Heike
  id: '573'
  last_name: Wehrheim
citation:
  ama: 'Brückner I, Wehrheim H. Slicing an Integrated Formal Method for Verification.
    In: Lau K-}Kiu, Banach R, eds. <i>Formal Methods and Software Engineering, 7th
    International Conference on Formal Engineering Methods, {ICFEM} 2005, Manchester,
    UK, November 1-4, 2005, Proceedings</i>. Lecture Notes in Computer Science. ;
    2005:360--374. doi:<a href="https://doi.org/10.1007/11576280_25">10.1007/11576280_25</a>'
  apa: Brückner, I., &#38; Wehrheim, H. (2005). Slicing an Integrated Formal Method
    for Verification. In K.-}Kiu Lau &#38; R. Banach (Eds.), <i>Formal Methods and
    Software Engineering, 7th International Conference on Formal Engineering Methods,
    {ICFEM} 2005, Manchester, UK, November 1-4, 2005, Proceedings</i> (pp. 360--374).
    <a href="https://doi.org/10.1007/11576280_25">https://doi.org/10.1007/11576280_25</a>
  bibtex: '@inproceedings{Brückner_Wehrheim_2005, series={Lecture Notes in Computer
    Science}, title={Slicing an Integrated Formal Method for Verification}, DOI={<a
    href="https://doi.org/10.1007/11576280_25">10.1007/11576280_25</a>}, booktitle={Formal
    Methods and Software Engineering, 7th International Conference on Formal Engineering
    Methods, {ICFEM} 2005, Manchester, UK, November 1-4, 2005, Proceedings}, author={Brückner,
    Ingo and Wehrheim, Heike}, editor={Lau, Kung{-}Kiu and Banach, RichardEditors},
    year={2005}, pages={360--374}, collection={Lecture Notes in Computer Science}
    }'
  chicago: Brückner, Ingo, and Heike Wehrheim. “Slicing an Integrated Formal Method
    for Verification.” In <i>Formal Methods and Software Engineering, 7th International
    Conference on Formal Engineering Methods, {ICFEM} 2005, Manchester, UK, November
    1-4, 2005, Proceedings</i>, edited by Kung{-}Kiu Lau and Richard Banach, 360--374.
    Lecture Notes in Computer Science, 2005. <a href="https://doi.org/10.1007/11576280_25">https://doi.org/10.1007/11576280_25</a>.
  ieee: I. Brückner and H. Wehrheim, “Slicing an Integrated Formal Method for Verification,”
    in <i>Formal Methods and Software Engineering, 7th International Conference on
    Formal Engineering Methods, {ICFEM} 2005, Manchester, UK, November 1-4, 2005,
    Proceedings</i>, 2005, pp. 360--374.
  mla: Brückner, Ingo, and Heike Wehrheim. “Slicing an Integrated Formal Method for
    Verification.” <i>Formal Methods and Software Engineering, 7th International Conference
    on Formal Engineering Methods, {ICFEM} 2005, Manchester, UK, November 1-4, 2005,
    Proceedings</i>, edited by Kung{-}Kiu Lau and Richard Banach, 2005, pp. 360--374,
    doi:<a href="https://doi.org/10.1007/11576280_25">10.1007/11576280_25</a>.
  short: 'I. Brückner, H. Wehrheim, in: K.-}Kiu Lau, R. Banach (Eds.), Formal Methods
    and Software Engineering, 7th International Conference on Formal Engineering Methods,
    {ICFEM} 2005, Manchester, UK, November 1-4, 2005, Proceedings, 2005, pp. 360--374.'
date_created: 2018-06-14T06:42:51Z
date_updated: 2022-01-06T06:59:06Z
department:
- _id: '77'
doi: 10.1007/11576280_25
editor:
- first_name: Kung{-}Kiu
  full_name: Lau, Kung{-}Kiu
  last_name: Lau
- first_name: Richard
  full_name: Banach, Richard
  last_name: Banach
page: 360--374
publication: Formal Methods and Software Engineering, 7th International Conference
  on Formal Engineering Methods, {ICFEM} 2005, Manchester, UK, November 1-4, 2005,
  Proceedings
series_title: Lecture Notes in Computer Science
status: public
title: Slicing an Integrated Formal Method for Verification
type: conference
user_id: '29719'
year: '2005'
...
---
_id: '3231'
author:
- first_name: John
  full_name: Derrick, John
  last_name: Derrick
- first_name: Heike
  full_name: Wehrheim, Heike
  id: '573'
  last_name: Wehrheim
citation:
  ama: 'Derrick J, Wehrheim H. Non-atomic Refinement in {Z} and {CSP}. In: Treharne
    H, King S, C. Henson M, A. Schneider S, eds. <i>{ZB} 2005: Formal Specification
    and Development in {Z} and B, 4th International Conference of {B} and {Z} Users,
    Guildford, UK, April 13-15, 2005, Proceedings</i>. Lecture Notes in Computer Science.
    ; 2005:24--44. doi:<a href="https://doi.org/10.1007/11415787_3">10.1007/11415787_3</a>'
  apa: 'Derrick, J., &#38; Wehrheim, H. (2005). Non-atomic Refinement in {Z} and {CSP}.
    In H. Treharne, S. King, M. C. Henson, &#38; S. A. Schneider (Eds.), <i>{ZB} 2005:
    Formal Specification and Development in {Z} and B, 4th International Conference
    of {B} and {Z} Users, Guildford, UK, April 13-15, 2005, Proceedings</i> (pp. 24--44).
    <a href="https://doi.org/10.1007/11415787_3">https://doi.org/10.1007/11415787_3</a>'
  bibtex: '@inproceedings{Derrick_Wehrheim_2005, series={Lecture Notes in Computer
    Science}, title={Non-atomic Refinement in {Z} and {CSP}}, DOI={<a href="https://doi.org/10.1007/11415787_3">10.1007/11415787_3</a>},
    booktitle={{ZB} 2005: Formal Specification and Development in {Z} and B, 4th International
    Conference of {B} and {Z} Users, Guildford, UK, April 13-15, 2005, Proceedings},
    author={Derrick, John and Wehrheim, Heike}, editor={Treharne, Helen and King,
    Steve and C. Henson, Martin and A. Schneider, SteveEditors}, year={2005}, pages={24--44},
    collection={Lecture Notes in Computer Science} }'
  chicago: 'Derrick, John, and Heike Wehrheim. “Non-Atomic Refinement in {Z} and {CSP}.”
    In <i>{ZB} 2005: Formal Specification and Development in {Z} and B, 4th International
    Conference of {B} and {Z} Users, Guildford, UK, April 13-15, 2005, Proceedings</i>,
    edited by Helen Treharne, Steve King, Martin C. Henson, and Steve A. Schneider,
    24--44. Lecture Notes in Computer Science, 2005. <a href="https://doi.org/10.1007/11415787_3">https://doi.org/10.1007/11415787_3</a>.'
  ieee: 'J. Derrick and H. Wehrheim, “Non-atomic Refinement in {Z} and {CSP},” in
    <i>{ZB} 2005: Formal Specification and Development in {Z} and B, 4th International
    Conference of {B} and {Z} Users, Guildford, UK, April 13-15, 2005, Proceedings</i>,
    2005, pp. 24--44.'
  mla: 'Derrick, John, and Heike Wehrheim. “Non-Atomic Refinement in {Z} and {CSP}.”
    <i>{ZB} 2005: Formal Specification and Development in {Z} and B, 4th International
    Conference of {B} and {Z} Users, Guildford, UK, April 13-15, 2005, Proceedings</i>,
    edited by Helen Treharne et al., 2005, pp. 24--44, doi:<a href="https://doi.org/10.1007/11415787_3">10.1007/11415787_3</a>.'
  short: 'J. Derrick, H. Wehrheim, in: H. Treharne, S. King, M. C. Henson, S. A. Schneider
    (Eds.), {ZB} 2005: Formal Specification and Development in {Z} and B, 4th International
    Conference of {B} and {Z} Users, Guildford, UK, April 13-15, 2005, Proceedings,
    2005, pp. 24--44.'
date_created: 2018-06-14T06:44:17Z
date_updated: 2022-01-06T06:59:06Z
department:
- _id: '77'
doi: 10.1007/11415787_3
editor:
- first_name: Helen
  full_name: Treharne, Helen
  last_name: Treharne
- first_name: Steve
  full_name: King, Steve
  last_name: King
- first_name: Martin
  full_name: C. Henson, Martin
  last_name: C. Henson
- first_name: Steve
  full_name: A. Schneider, Steve
  last_name: A. Schneider
page: 24--44
publication: '{ZB} 2005: Formal Specification and Development in {Z} and B, 4th International
  Conference of {B} and {Z} Users, Guildford, UK, April 13-15, 2005, Proceedings'
series_title: Lecture Notes in Computer Science
status: public
title: Non-atomic Refinement in {Z} and {CSP}
type: conference
user_id: '29719'
year: '2005'
...
---
_id: '3232'
author:
- first_name: Ingo
  full_name: Brückner, Ingo
  last_name: Brückner
- first_name: Heike
  full_name: Wehrheim, Heike
  id: '573'
  last_name: Wehrheim
citation:
  ama: 'Brückner I, Wehrheim H. Slicing Object-Z Specifications for Verification.
    In: Treharne H, King S, C. Henson M, A. Schneider S, eds. <i>{ZB} 2005: Formal
    Specification and Development in {Z} and B, 4th International Conference of {B}
    and {Z} Users, Guildford, UK, April 13-15, 2005, Proceedings</i>. Lecture Notes
    in Computer Science. ; 2005:414--433. doi:<a href="https://doi.org/10.1007/11415787_24">10.1007/11415787_24</a>'
  apa: 'Brückner, I., &#38; Wehrheim, H. (2005). Slicing Object-Z Specifications for
    Verification. In H. Treharne, S. King, M. C. Henson, &#38; S. A. Schneider (Eds.),
    <i>{ZB} 2005: Formal Specification and Development in {Z} and B, 4th International
    Conference of {B} and {Z} Users, Guildford, UK, April 13-15, 2005, Proceedings</i>
    (pp. 414--433). <a href="https://doi.org/10.1007/11415787_24">https://doi.org/10.1007/11415787_24</a>'
  bibtex: '@inproceedings{Brückner_Wehrheim_2005, series={Lecture Notes in Computer
    Science}, title={Slicing Object-Z Specifications for Verification}, DOI={<a href="https://doi.org/10.1007/11415787_24">10.1007/11415787_24</a>},
    booktitle={{ZB} 2005: Formal Specification and Development in {Z} and B, 4th International
    Conference of {B} and {Z} Users, Guildford, UK, April 13-15, 2005, Proceedings},
    author={Brückner, Ingo and Wehrheim, Heike}, editor={Treharne, Helen and King,
    Steve and C. Henson, Martin and A. Schneider, SteveEditors}, year={2005}, pages={414--433},
    collection={Lecture Notes in Computer Science} }'
  chicago: 'Brückner, Ingo, and Heike Wehrheim. “Slicing Object-Z Specifications for
    Verification.” In <i>{ZB} 2005: Formal Specification and Development in {Z} and
    B, 4th International Conference of {B} and {Z} Users, Guildford, UK, April 13-15,
    2005, Proceedings</i>, edited by Helen Treharne, Steve King, Martin C. Henson,
    and Steve A. Schneider, 414--433. Lecture Notes in Computer Science, 2005. <a
    href="https://doi.org/10.1007/11415787_24">https://doi.org/10.1007/11415787_24</a>.'
  ieee: 'I. Brückner and H. Wehrheim, “Slicing Object-Z Specifications for Verification,”
    in <i>{ZB} 2005: Formal Specification and Development in {Z} and B, 4th International
    Conference of {B} and {Z} Users, Guildford, UK, April 13-15, 2005, Proceedings</i>,
    2005, pp. 414--433.'
  mla: 'Brückner, Ingo, and Heike Wehrheim. “Slicing Object-Z Specifications for Verification.”
    <i>{ZB} 2005: Formal Specification and Development in {Z} and B, 4th International
    Conference of {B} and {Z} Users, Guildford, UK, April 13-15, 2005, Proceedings</i>,
    edited by Helen Treharne et al., 2005, pp. 414--433, doi:<a href="https://doi.org/10.1007/11415787_24">10.1007/11415787_24</a>.'
  short: 'I. Brückner, H. Wehrheim, in: H. Treharne, S. King, M. C. Henson, S. A.
    Schneider (Eds.), {ZB} 2005: Formal Specification and Development in {Z} and B,
    4th International Conference of {B} and {Z} Users, Guildford, UK, April 13-15,
    2005, Proceedings, 2005, pp. 414--433.'
date_created: 2018-06-14T06:45:30Z
date_updated: 2022-01-06T06:59:06Z
department:
- _id: '77'
doi: 10.1007/11415787_24
editor:
- first_name: Helen
  full_name: Treharne, Helen
  last_name: Treharne
- first_name: Steve
  full_name: King, Steve
  last_name: King
- first_name: Martin
  full_name: C. Henson, Martin
  last_name: C. Henson
- first_name: Steve
  full_name: A. Schneider, Steve
  last_name: A. Schneider
page: 414--433
publication: '{ZB} 2005: Formal Specification and Development in {Z} and B, 4th International
  Conference of {B} and {Z} Users, Guildford, UK, April 13-15, 2005, Proceedings'
series_title: Lecture Notes in Computer Science
status: public
title: Slicing Object-Z Specifications for Verification
type: conference
user_id: '29719'
year: '2005'
...
---
_id: '3233'
author:
- first_name: Heike
  full_name: Wehrheim, Heike
  id: '573'
  last_name: Wehrheim
citation:
  ama: 'Wehrheim H. Refinement and Consistency in Component Models with Multiple Views.
    In: H. Reussner R, A. Stafford J, A. Szyperski C, eds. <i>Architecting Systems
    with Trustworthy Components, International Seminar, Dagstuhl Castle, Germany,
    December 12-17, 2004. Revised Selected Papers</i>. Lecture Notes in Computer Science.
    ; 2004:84--102. doi:<a href="https://doi.org/10.1007/11786160_5">10.1007/11786160_5</a>'
  apa: Wehrheim, H. (2004). Refinement and Consistency in Component Models with Multiple
    Views. In R. H. Reussner, J. A. Stafford, &#38; C. A. Szyperski (Eds.), <i>Architecting
    Systems with Trustworthy Components, International Seminar, Dagstuhl Castle, Germany,
    December 12-17, 2004. Revised Selected Papers</i> (pp. 84--102). <a href="https://doi.org/10.1007/11786160_5">https://doi.org/10.1007/11786160_5</a>
  bibtex: '@inproceedings{Wehrheim_2004, series={Lecture Notes in Computer Science},
    title={Refinement and Consistency in Component Models with Multiple Views}, DOI={<a
    href="https://doi.org/10.1007/11786160_5">10.1007/11786160_5</a>}, booktitle={Architecting
    Systems with Trustworthy Components, International Seminar, Dagstuhl Castle, Germany,
    December 12-17, 2004. Revised Selected Papers}, author={Wehrheim, Heike}, editor={H.
    Reussner, Ralf and A. Stafford, Judith and A. Szyperski, ClemensEditors}, year={2004},
    pages={84--102}, collection={Lecture Notes in Computer Science} }'
  chicago: Wehrheim, Heike. “Refinement and Consistency in Component Models with Multiple
    Views.” In <i>Architecting Systems with Trustworthy Components, International
    Seminar, Dagstuhl Castle, Germany, December 12-17, 2004. Revised Selected Papers</i>,
    edited by Ralf H. Reussner, Judith A. Stafford, and Clemens A. Szyperski, 84--102.
    Lecture Notes in Computer Science, 2004. <a href="https://doi.org/10.1007/11786160_5">https://doi.org/10.1007/11786160_5</a>.
  ieee: H. Wehrheim, “Refinement and Consistency in Component Models with Multiple
    Views,” in <i>Architecting Systems with Trustworthy Components, International
    Seminar, Dagstuhl Castle, Germany, December 12-17, 2004. Revised Selected Papers</i>,
    2004, pp. 84--102.
  mla: Wehrheim, Heike. “Refinement and Consistency in Component Models with Multiple
    Views.” <i>Architecting Systems with Trustworthy Components, International Seminar,
    Dagstuhl Castle, Germany, December 12-17, 2004. Revised Selected Papers</i>, edited
    by Ralf H. Reussner et al., 2004, pp. 84--102, doi:<a href="https://doi.org/10.1007/11786160_5">10.1007/11786160_5</a>.
  short: 'H. Wehrheim, in: R. H. Reussner, J. A. Stafford, C. A. Szyperski (Eds.),
    Architecting Systems with Trustworthy Components, International Seminar, Dagstuhl
    Castle, Germany, December 12-17, 2004. Revised Selected Papers, 2004, pp. 84--102.'
date_created: 2018-06-14T06:46:31Z
date_updated: 2022-01-06T06:59:06Z
department:
- _id: '77'
doi: 10.1007/11786160_5
editor:
- first_name: Ralf
  full_name: H. Reussner, Ralf
  last_name: H. Reussner
- first_name: Judith
  full_name: A. Stafford, Judith
  last_name: A. Stafford
- first_name: Clemens
  full_name: A. Szyperski, Clemens
  last_name: A. Szyperski
page: 84--102
publication: Architecting Systems with Trustworthy Components, International Seminar,
  Dagstuhl Castle, Germany, December 12-17, 2004. Revised Selected Papers
series_title: Lecture Notes in Computer Science
status: public
title: Refinement and Consistency in Component Models with Multiple Views
type: conference
user_id: '29719'
year: '2004'
...
---
_id: '3234'
author:
- first_name: Michael
  full_name: Möller, Michael
  last_name: Möller
- first_name: Ernst-Rüdiger
  full_name: Olderog, Ernst-Rüdiger
  last_name: Olderog
- first_name: Holger
  full_name: Rasch, Holger
  last_name: Rasch
- first_name: Heike
  full_name: Wehrheim, Heike
  id: '573'
  last_name: Wehrheim
citation:
  ama: 'Möller M, Olderog E-R, Rasch H, Wehrheim H. Linking {CSP-OZ} with {UML} and
    Java: {A} Case Study. In: A. Boiten E, Derrick J, Smith G, eds. <i>Integrated
    Formal Methods, 4th International Conference, {IFM} 2004, Canterbury, UK, April
    4-7, 2004, Proceedings</i>. Lecture Notes in Computer Science. ; 2004:267--286.
    doi:<a href="https://doi.org/10.1007/978-3-540-24756-2_15">10.1007/978-3-540-24756-2_15</a>'
  apa: 'Möller, M., Olderog, E.-R., Rasch, H., &#38; Wehrheim, H. (2004). Linking
    {CSP-OZ} with {UML} and Java: {A} Case Study. In E. A. Boiten, J. Derrick, &#38;
    G. Smith (Eds.), <i>Integrated Formal Methods, 4th International Conference, {IFM}
    2004, Canterbury, UK, April 4-7, 2004, Proceedings</i> (pp. 267--286). <a href="https://doi.org/10.1007/978-3-540-24756-2_15">https://doi.org/10.1007/978-3-540-24756-2_15</a>'
  bibtex: '@inproceedings{Möller_Olderog_Rasch_Wehrheim_2004, series={Lecture Notes
    in Computer Science}, title={Linking {CSP-OZ} with {UML} and Java: {A} Case Study},
    DOI={<a href="https://doi.org/10.1007/978-3-540-24756-2_15">10.1007/978-3-540-24756-2_15</a>},
    booktitle={Integrated Formal Methods, 4th International Conference, {IFM} 2004,
    Canterbury, UK, April 4-7, 2004, Proceedings}, author={Möller, Michael and Olderog,
    Ernst-Rüdiger and Rasch, Holger and Wehrheim, Heike}, editor={A. Boiten, Eerke
    and Derrick, John and Smith, GraemeEditors}, year={2004}, pages={267--286}, collection={Lecture
    Notes in Computer Science} }'
  chicago: 'Möller, Michael, Ernst-Rüdiger Olderog, Holger Rasch, and Heike Wehrheim.
    “Linking {CSP-OZ} with {UML} and Java: {A} Case Study.” In <i>Integrated Formal
    Methods, 4th International Conference, {IFM} 2004, Canterbury, UK, April 4-7,
    2004, Proceedings</i>, edited by Eerke A. Boiten, John Derrick, and Graeme Smith,
    267--286. Lecture Notes in Computer Science, 2004. <a href="https://doi.org/10.1007/978-3-540-24756-2_15">https://doi.org/10.1007/978-3-540-24756-2_15</a>.'
  ieee: 'M. Möller, E.-R. Olderog, H. Rasch, and H. Wehrheim, “Linking {CSP-OZ} with
    {UML} and Java: {A} Case Study,” in <i>Integrated Formal Methods, 4th International
    Conference, {IFM} 2004, Canterbury, UK, April 4-7, 2004, Proceedings</i>, 2004,
    pp. 267--286.'
  mla: 'Möller, Michael, et al. “Linking {CSP-OZ} with {UML} and Java: {A} Case Study.”
    <i>Integrated Formal Methods, 4th International Conference, {IFM} 2004, Canterbury,
    UK, April 4-7, 2004, Proceedings</i>, edited by Eerke A. Boiten et al., 2004,
    pp. 267--286, doi:<a href="https://doi.org/10.1007/978-3-540-24756-2_15">10.1007/978-3-540-24756-2_15</a>.'
  short: 'M. Möller, E.-R. Olderog, H. Rasch, H. Wehrheim, in: E. A. Boiten, J. Derrick,
    G. Smith (Eds.), Integrated Formal Methods, 4th International Conference, {IFM}
    2004, Canterbury, UK, April 4-7, 2004, Proceedings, 2004, pp. 267--286.'
date_created: 2018-06-14T06:47:35Z
date_updated: 2022-01-06T06:59:06Z
department:
- _id: '77'
doi: 10.1007/978-3-540-24756-2_15
editor:
- first_name: Eerke
  full_name: A. Boiten, Eerke
  last_name: A. Boiten
- first_name: John
  full_name: Derrick, John
  last_name: Derrick
- first_name: Graeme
  full_name: Smith, Graeme
  last_name: Smith
page: 267--286
publication: Integrated Formal Methods, 4th International Conference, {IFM} 2004,
  Canterbury, UK, April 4-7, 2004, Proceedings
series_title: Lecture Notes in Computer Science
status: public
title: 'Linking {CSP-OZ} with {UML} and Java: {A} Case Study'
type: conference
user_id: '29719'
year: '2004'
...
---
_id: '3235'
author:
- first_name: Heike
  full_name: Wehrheim, Heike
  id: '573'
  last_name: Wehrheim
citation:
  ama: 'Wehrheim H. Refinement and Consistency in Multiview Models. In: B{\’{e}}zivin
    J, Heckel R, eds. <i>Language Engineering for Model-Driven Software Development,
    29. February - 5. March 2004</i>. Dagstuhl Seminar Proceedings. ; 2004.'
  apa: Wehrheim, H. (2004). Refinement and Consistency in Multiview Models. In J.
    B{\’{e}}zivin &#38; R. Heckel (Eds.), <i>Language Engineering for Model-Driven
    Software Development, 29. February - 5. March 2004</i>.
  bibtex: '@inproceedings{Wehrheim_2004, series={Dagstuhl Seminar Proceedings}, title={Refinement
    and Consistency in Multiview Models}, booktitle={Language Engineering for Model-Driven
    Software Development, 29. February - 5. March 2004}, author={Wehrheim, Heike},
    editor={B{\’{e}}zivin, Jean and Heckel, ReikoEditors}, year={2004}, collection={Dagstuhl
    Seminar Proceedings} }'
  chicago: Wehrheim, Heike. “Refinement and Consistency in Multiview Models.” In <i>Language
    Engineering for Model-Driven Software Development, 29. February - 5. March 2004</i>,
    edited by Jean B{\’{e}}zivin and Reiko Heckel. Dagstuhl Seminar Proceedings, 2004.
  ieee: H. Wehrheim, “Refinement and Consistency in Multiview Models,” in <i>Language
    Engineering for Model-Driven Software Development, 29. February - 5. March 2004</i>,
    2004.
  mla: Wehrheim, Heike. “Refinement and Consistency in Multiview Models.” <i>Language
    Engineering for Model-Driven Software Development, 29. February - 5. March 2004</i>,
    edited by Jean B{\’{e}}zivin and Reiko Heckel, 2004.
  short: 'H. Wehrheim, in: J. B{\’{e}}zivin, R. Heckel (Eds.), Language Engineering
    for Model-Driven Software Development, 29. February - 5. March 2004, 2004.'
date_created: 2018-06-14T06:48:55Z
date_updated: 2022-01-06T06:59:06Z
department:
- _id: '77'
editor:
- first_name: Jean
  full_name: B{\'{e}}zivin, Jean
  last_name: B{\'{e}}zivin
- first_name: Reiko
  full_name: Heckel, Reiko
  last_name: Heckel
publication: Language Engineering for Model-Driven Software Development, 29. February
  - 5. March 2004
series_title: Dagstuhl Seminar Proceedings
status: public
title: Refinement and Consistency in Multiview Models
type: conference
user_id: '29719'
year: '2004'
...
---
_id: '3236'
author:
- first_name: Heike
  full_name: Wehrheim, Heike
  last_name: Wehrheim
citation:
  ama: Wehrheim H. Behavioral Subtyping Relations for Active Objects. <i>Formal Methods
    in System Design</i>. 2003;(2):143--170. doi:<a href="https://doi.org/10.1023/A:1024764232069">10.1023/A:1024764232069</a>
  apa: Wehrheim, H. (2003). Behavioral Subtyping Relations for Active Objects. <i>Formal
    Methods in System Design</i>, (2), 143--170. <a href="https://doi.org/10.1023/A:1024764232069">https://doi.org/10.1023/A:1024764232069</a>
  bibtex: '@article{Wehrheim_2003, title={Behavioral Subtyping Relations for Active
    Objects}, DOI={<a href="https://doi.org/10.1023/A:1024764232069">10.1023/A:1024764232069</a>},
    number={2}, journal={Formal Methods in System Design}, author={Wehrheim, Heike},
    year={2003}, pages={143--170} }'
  chicago: 'Wehrheim, Heike. “Behavioral Subtyping Relations for Active Objects.”
    <i>Formal Methods in System Design</i>, no. 2 (2003): 143--170. <a href="https://doi.org/10.1023/A:1024764232069">https://doi.org/10.1023/A:1024764232069</a>.'
  ieee: H. Wehrheim, “Behavioral Subtyping Relations for Active Objects,” <i>Formal
    Methods in System Design</i>, no. 2, pp. 143--170, 2003.
  mla: Wehrheim, Heike. “Behavioral Subtyping Relations for Active Objects.” <i>Formal
    Methods in System Design</i>, no. 2, 2003, pp. 143--170, doi:<a href="https://doi.org/10.1023/A:1024764232069">10.1023/A:1024764232069</a>.
  short: H. Wehrheim, Formal Methods in System Design (2003) 143--170.
date_created: 2018-06-14T06:49:57Z
date_updated: 2022-01-06T06:59:06Z
department:
- _id: '77'
doi: 10.1023/A:1024764232069
issue: '2'
page: 143--170
publication: Formal Methods in System Design
status: public
title: Behavioral Subtyping Relations for Active Objects
type: journal_article
user_id: '29719'
year: '2003'
...
---
_id: '3237'
author:
- first_name: Heike
  full_name: Wehrheim, Heike
  id: '573'
  last_name: Wehrheim
citation:
  ama: 'Wehrheim H. Preserving Properties Under Change. In: S. de Boer F, M. Bonsangue
    M, Graf S, P. de Roever W, eds. <i>Formal Methods for Components and Objects,
    Second International Symposium, {FMCO} 2003, Leiden, The Netherlands, November
    4-7, 2003, Revised Lectures</i>. Lecture Notes in Computer Science. ; 2003:330--343.
    doi:<a href="https://doi.org/10.1007/978-3-540-30101-1_16">10.1007/978-3-540-30101-1_16</a>'
  apa: Wehrheim, H. (2003). Preserving Properties Under Change. In F. S. de Boer,
    M. M. Bonsangue, S. Graf, &#38; W. P. de Roever (Eds.), <i>Formal Methods for
    Components and Objects, Second International Symposium, {FMCO} 2003, Leiden, The
    Netherlands, November 4-7, 2003, Revised Lectures</i> (pp. 330--343). <a href="https://doi.org/10.1007/978-3-540-30101-1_16">https://doi.org/10.1007/978-3-540-30101-1_16</a>
  bibtex: '@inproceedings{Wehrheim_2003, series={Lecture Notes in Computer Science},
    title={Preserving Properties Under Change}, DOI={<a href="https://doi.org/10.1007/978-3-540-30101-1_16">10.1007/978-3-540-30101-1_16</a>},
    booktitle={Formal Methods for Components and Objects, Second International Symposium,
    {FMCO} 2003, Leiden, The Netherlands, November 4-7, 2003, Revised Lectures}, author={Wehrheim,
    Heike}, editor={S. de Boer, Frank and M. Bonsangue, Marcello and Graf, Susanne
    and P. de Roever, WillemEditors}, year={2003}, pages={330--343}, collection={Lecture
    Notes in Computer Science} }'
  chicago: Wehrheim, Heike. “Preserving Properties Under Change.” In <i>Formal Methods
    for Components and Objects, Second International Symposium, {FMCO} 2003, Leiden,
    The Netherlands, November 4-7, 2003, Revised Lectures</i>, edited by Frank S.
    de Boer, Marcello M. Bonsangue, Susanne Graf, and Willem P. de Roever, 330--343.
    Lecture Notes in Computer Science, 2003. <a href="https://doi.org/10.1007/978-3-540-30101-1_16">https://doi.org/10.1007/978-3-540-30101-1_16</a>.
  ieee: H. Wehrheim, “Preserving Properties Under Change,” in <i>Formal Methods for
    Components and Objects, Second International Symposium, {FMCO} 2003, Leiden, The
    Netherlands, November 4-7, 2003, Revised Lectures</i>, 2003, pp. 330--343.
  mla: Wehrheim, Heike. “Preserving Properties Under Change.” <i>Formal Methods for
    Components and Objects, Second International Symposium, {FMCO} 2003, Leiden, The
    Netherlands, November 4-7, 2003, Revised Lectures</i>, edited by Frank S. de Boer
    et al., 2003, pp. 330--343, doi:<a href="https://doi.org/10.1007/978-3-540-30101-1_16">10.1007/978-3-540-30101-1_16</a>.
  short: 'H. Wehrheim, in: F. S. de Boer, M. M. Bonsangue, S. Graf, W. P. de Roever
    (Eds.), Formal Methods for Components and Objects, Second International Symposium,
    {FMCO} 2003, Leiden, The Netherlands, November 4-7, 2003, Revised Lectures, 2003,
    pp. 330--343.'
date_created: 2018-06-14T06:51:09Z
date_updated: 2022-01-06T06:59:06Z
department:
- _id: '77'
doi: 10.1007/978-3-540-30101-1_16
editor:
- first_name: Frank
  full_name: S. de Boer, Frank
  last_name: S. de Boer
- first_name: Marcello
  full_name: M. Bonsangue, Marcello
  last_name: M. Bonsangue
- first_name: Susanne
  full_name: Graf, Susanne
  last_name: Graf
- first_name: Willem
  full_name: P. de Roever, Willem
  last_name: P. de Roever
page: 330--343
publication: Formal Methods for Components and Objects, Second International Symposium,
  {FMCO} 2003, Leiden, The Netherlands, November 4-7, 2003, Revised Lectures
series_title: Lecture Notes in Computer Science
status: public
title: Preserving Properties Under Change
type: conference
user_id: '29719'
year: '2003'
...
---
_id: '3238'
author:
- first_name: Heike
  full_name: Wehrheim, Heike
  id: '573'
  last_name: Wehrheim
citation:
  ama: 'Wehrheim H. Inheritance of Temporal Logic Properties. In: Najm E, Nestmann
    U, Stevens P, eds. <i>Formal Methods for Open Object-Based Distributed Systems,
    6th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2003, Paris, France, November
    19.21, 2003, Proceedings</i>. Lecture Notes in Computer Science. ; 2003:79--93.
    doi:<a href="https://doi.org/10.1007/978-3-540-39958-2_6">10.1007/978-3-540-39958-2_6</a>'
  apa: Wehrheim, H. (2003). Inheritance of Temporal Logic Properties. In E. Najm,
    U. Nestmann, &#38; P. Stevens (Eds.), <i>Formal Methods for Open Object-Based
    Distributed Systems, 6th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2003,
    Paris, France, November 19.21, 2003, Proceedings</i> (pp. 79--93). <a href="https://doi.org/10.1007/978-3-540-39958-2_6">https://doi.org/10.1007/978-3-540-39958-2_6</a>
  bibtex: '@inproceedings{Wehrheim_2003, series={Lecture Notes in Computer Science},
    title={Inheritance of Temporal Logic Properties}, DOI={<a href="https://doi.org/10.1007/978-3-540-39958-2_6">10.1007/978-3-540-39958-2_6</a>},
    booktitle={Formal Methods for Open Object-Based Distributed Systems, 6th {IFIP}
    {WG} 6.1 International Conference, {FMOODS} 2003, Paris, France, November 19.21,
    2003, Proceedings}, author={Wehrheim, Heike}, editor={Najm, Elie and Nestmann,
    Uwe and Stevens, PerditaEditors}, year={2003}, pages={79--93}, collection={Lecture
    Notes in Computer Science} }'
  chicago: Wehrheim, Heike. “Inheritance of Temporal Logic Properties.” In <i>Formal
    Methods for Open Object-Based Distributed Systems, 6th {IFIP} {WG} 6.1 International
    Conference, {FMOODS} 2003, Paris, France, November 19.21, 2003, Proceedings</i>,
    edited by Elie Najm, Uwe Nestmann, and Perdita Stevens, 79--93. Lecture Notes
    in Computer Science, 2003. <a href="https://doi.org/10.1007/978-3-540-39958-2_6">https://doi.org/10.1007/978-3-540-39958-2_6</a>.
  ieee: H. Wehrheim, “Inheritance of Temporal Logic Properties,” in <i>Formal Methods
    for Open Object-Based Distributed Systems, 6th {IFIP} {WG} 6.1 International Conference,
    {FMOODS} 2003, Paris, France, November 19.21, 2003, Proceedings</i>, 2003, pp.
    79--93.
  mla: Wehrheim, Heike. “Inheritance of Temporal Logic Properties.” <i>Formal Methods
    for Open Object-Based Distributed Systems, 6th {IFIP} {WG} 6.1 International Conference,
    {FMOODS} 2003, Paris, France, November 19.21, 2003, Proceedings</i>, edited by
    Elie Najm et al., 2003, pp. 79--93, doi:<a href="https://doi.org/10.1007/978-3-540-39958-2_6">10.1007/978-3-540-39958-2_6</a>.
  short: 'H. Wehrheim, in: E. Najm, U. Nestmann, P. Stevens (Eds.), Formal Methods
    for Open Object-Based Distributed Systems, 6th {IFIP} {WG} 6.1 International Conference,
    {FMOODS} 2003, Paris, France, November 19.21, 2003, Proceedings, 2003, pp. 79--93.'
date_created: 2018-06-14T06:52:17Z
date_updated: 2022-01-06T06:59:06Z
department:
- _id: '77'
doi: 10.1007/978-3-540-39958-2_6
editor:
- first_name: Elie
  full_name: Najm, Elie
  last_name: Najm
- first_name: Uwe
  full_name: Nestmann, Uwe
  last_name: Nestmann
- first_name: Perdita
  full_name: Stevens, Perdita
  last_name: Stevens
page: 79--93
publication: Formal Methods for Open Object-Based Distributed Systems, 6th {IFIP}
  {WG} 6.1 International Conference, {FMOODS} 2003, Paris, France, November 19.21,
  2003, Proceedings
series_title: Lecture Notes in Computer Science
status: public
title: Inheritance of Temporal Logic Properties
type: conference
user_id: '29719'
year: '2003'
...