---
_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. Formal Methods for Open Object-Based Distributed
Systems, 7th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2005, Athens,
Greece, June 15-17, 2005, Proceedings. Lecture Notes in Computer Science.
; 2005:67--82. doi:10.1007/11494881_5'
apa: Rasch, H., & Wehrheim, H. (2005). Checking the Validity of Scenarios in
{UML} Models. 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 (pp. 67--82).
https://doi.org/10.1007/11494881_5
bibtex: '@inproceedings{Rasch_Wehrheim_2005, series={Lecture Notes in Computer Science},
title={Checking the Validity of Scenarios in {UML} Models}, DOI={10.1007/11494881_5},
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 Formal Methods for Open Object-Based Distributed Systems,
7th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2005, Athens, Greece, June
15-17, 2005, Proceedings, edited by Martin Steffen and Gianluigi Zavattaro,
67--82. Lecture Notes in Computer Science, 2005. https://doi.org/10.1007/11494881_5.
ieee: H. Rasch and H. Wehrheim, “Checking the Validity of Scenarios in {UML} Models,”
in 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.
mla: Rasch, Holger, and Heike Wehrheim. “Checking the Validity of Scenarios in {UML}
Models.” Formal Methods for Open Object-Based Distributed Systems, 7th {IFIP}
{WG} 6.1 International Conference, {FMOODS} 2005, Athens, Greece, June 15-17,
2005, Proceedings, edited by Martin Steffen and Gianluigi Zavattaro, 2005,
pp. 67--82, doi:10.1007/11494881_5.
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. Formal Methods and Software Engineering, 7th
International Conference on Formal Engineering Methods, {ICFEM} 2005, Manchester,
UK, November 1-4, 2005, Proceedings. Lecture Notes in Computer Science. ;
2005:360--374. doi:10.1007/11576280_25'
apa: Brückner, I., & Wehrheim, H. (2005). Slicing an Integrated Formal Method
for Verification. 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 (pp. 360--374).
https://doi.org/10.1007/11576280_25
bibtex: '@inproceedings{Brückner_Wehrheim_2005, series={Lecture Notes in Computer
Science}, title={Slicing an Integrated Formal Method for Verification}, DOI={10.1007/11576280_25}, 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 Formal Methods and Software Engineering, 7th International
Conference on Formal Engineering Methods, {ICFEM} 2005, Manchester, UK, November
1-4, 2005, Proceedings, edited by Kung{-}Kiu Lau and Richard Banach, 360--374.
Lecture Notes in Computer Science, 2005. https://doi.org/10.1007/11576280_25.
ieee: I. Brückner and H. Wehrheim, “Slicing an Integrated Formal Method for Verification,”
in 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.
mla: Brückner, Ingo, and Heike Wehrheim. “Slicing an Integrated Formal Method for
Verification.” Formal Methods and Software Engineering, 7th International Conference
on Formal Engineering Methods, {ICFEM} 2005, Manchester, UK, November 1-4, 2005,
Proceedings, edited by Kung{-}Kiu Lau and Richard Banach, 2005, pp. 360--374,
doi:10.1007/11576280_25.
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. {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. Lecture Notes in Computer Science.
; 2005:24--44. doi:10.1007/11415787_3'
apa: 'Derrick, J., & Wehrheim, H. (2005). Non-atomic Refinement in {Z} and {CSP}.
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 (pp. 24--44).
https://doi.org/10.1007/11415787_3'
bibtex: '@inproceedings{Derrick_Wehrheim_2005, series={Lecture Notes in Computer
Science}, title={Non-atomic Refinement in {Z} and {CSP}}, DOI={10.1007/11415787_3},
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 {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,
edited by Helen Treharne, Steve King, Martin C. Henson, and Steve A. Schneider,
24--44. Lecture Notes in Computer Science, 2005. https://doi.org/10.1007/11415787_3.'
ieee: 'J. Derrick and H. Wehrheim, “Non-atomic Refinement in {Z} and {CSP},” in
{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.'
mla: 'Derrick, John, and Heike Wehrheim. “Non-Atomic Refinement in {Z} and {CSP}.”
{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,
edited by Helen Treharne et al., 2005, pp. 24--44, doi:10.1007/11415787_3.'
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. {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. Lecture Notes
in Computer Science. ; 2005:414--433. doi:10.1007/11415787_24'
apa: 'Brückner, I., & Wehrheim, H. (2005). Slicing Object-Z Specifications for
Verification. 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
(pp. 414--433). https://doi.org/10.1007/11415787_24'
bibtex: '@inproceedings{Brückner_Wehrheim_2005, series={Lecture Notes in Computer
Science}, title={Slicing Object-Z Specifications for Verification}, DOI={10.1007/11415787_24},
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 {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, edited by Helen Treharne, Steve King, Martin C. Henson,
and Steve A. Schneider, 414--433. Lecture Notes in Computer Science, 2005. https://doi.org/10.1007/11415787_24.'
ieee: 'I. Brückner and H. Wehrheim, “Slicing Object-Z Specifications for Verification,”
in {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.'
mla: 'Brückner, Ingo, and Heike Wehrheim. “Slicing Object-Z Specifications for Verification.”
{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,
edited by Helen Treharne et al., 2005, pp. 414--433, doi:10.1007/11415787_24.'
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. Architecting Systems
with Trustworthy Components, International Seminar, Dagstuhl Castle, Germany,
December 12-17, 2004. Revised Selected Papers. Lecture Notes in Computer Science.
; 2004:84--102. doi:10.1007/11786160_5'
apa: Wehrheim, H. (2004). Refinement and Consistency in Component Models with Multiple
Views. 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 (pp. 84--102). https://doi.org/10.1007/11786160_5
bibtex: '@inproceedings{Wehrheim_2004, series={Lecture Notes in Computer Science},
title={Refinement and Consistency in Component Models with Multiple Views}, DOI={10.1007/11786160_5}, 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 Architecting Systems with Trustworthy Components, International
Seminar, Dagstuhl Castle, Germany, December 12-17, 2004. Revised Selected Papers,
edited by Ralf H. Reussner, Judith A. Stafford, and Clemens A. Szyperski, 84--102.
Lecture Notes in Computer Science, 2004. https://doi.org/10.1007/11786160_5.
ieee: H. Wehrheim, “Refinement and Consistency in Component Models with Multiple
Views,” in Architecting Systems with Trustworthy Components, International
Seminar, Dagstuhl Castle, Germany, December 12-17, 2004. Revised Selected Papers,
2004, pp. 84--102.
mla: Wehrheim, Heike. “Refinement and Consistency in Component Models with Multiple
Views.” Architecting Systems with Trustworthy Components, International Seminar,
Dagstuhl Castle, Germany, December 12-17, 2004. Revised Selected Papers, edited
by Ralf H. Reussner et al., 2004, pp. 84--102, doi:10.1007/11786160_5.
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. Integrated
Formal Methods, 4th International Conference, {IFM} 2004, Canterbury, UK, April
4-7, 2004, Proceedings. Lecture Notes in Computer Science. ; 2004:267--286.
doi:10.1007/978-3-540-24756-2_15'
apa: 'Möller, M., Olderog, E.-R., Rasch, H., & Wehrheim, H. (2004). Linking
{CSP-OZ} with {UML} and Java: {A} Case Study. In E. A. Boiten, J. Derrick, &
G. Smith (Eds.), Integrated Formal Methods, 4th International Conference, {IFM}
2004, Canterbury, UK, April 4-7, 2004, Proceedings (pp. 267--286). https://doi.org/10.1007/978-3-540-24756-2_15'
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={10.1007/978-3-540-24756-2_15},
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 Integrated Formal
Methods, 4th International Conference, {IFM} 2004, Canterbury, UK, April 4-7,
2004, Proceedings, edited by Eerke A. Boiten, John Derrick, and Graeme Smith,
267--286. Lecture Notes in Computer Science, 2004. https://doi.org/10.1007/978-3-540-24756-2_15.'
ieee: 'M. Möller, E.-R. Olderog, H. Rasch, and H. Wehrheim, “Linking {CSP-OZ} with
{UML} and Java: {A} Case Study,” in Integrated Formal Methods, 4th International
Conference, {IFM} 2004, Canterbury, UK, April 4-7, 2004, Proceedings, 2004,
pp. 267--286.'
mla: 'Möller, Michael, et al. “Linking {CSP-OZ} with {UML} and Java: {A} Case Study.”
Integrated Formal Methods, 4th International Conference, {IFM} 2004, Canterbury,
UK, April 4-7, 2004, Proceedings, edited by Eerke A. Boiten et al., 2004,
pp. 267--286, doi:10.1007/978-3-540-24756-2_15.'
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. Language Engineering for Model-Driven Software Development,
29. February - 5. March 2004. Dagstuhl Seminar Proceedings. ; 2004.'
apa: Wehrheim, H. (2004). Refinement and Consistency in Multiview Models. In J.
B{\’{e}}zivin & R. Heckel (Eds.), Language Engineering for Model-Driven
Software Development, 29. February - 5. March 2004.
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 Language
Engineering for Model-Driven Software Development, 29. February - 5. March 2004,
edited by Jean B{\’{e}}zivin and Reiko Heckel. Dagstuhl Seminar Proceedings, 2004.
ieee: H. Wehrheim, “Refinement and Consistency in Multiview Models,” in Language
Engineering for Model-Driven Software Development, 29. February - 5. March 2004,
2004.
mla: Wehrheim, Heike. “Refinement and Consistency in Multiview Models.” Language
Engineering for Model-Driven Software Development, 29. February - 5. March 2004,
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. Formal Methods
in System Design. 2003;(2):143--170. doi:10.1023/A:1024764232069
apa: Wehrheim, H. (2003). Behavioral Subtyping Relations for Active Objects. Formal
Methods in System Design, (2), 143--170. https://doi.org/10.1023/A:1024764232069
bibtex: '@article{Wehrheim_2003, title={Behavioral Subtyping Relations for Active
Objects}, DOI={10.1023/A:1024764232069},
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.”
Formal Methods in System Design, no. 2 (2003): 143--170. https://doi.org/10.1023/A:1024764232069.'
ieee: H. Wehrheim, “Behavioral Subtyping Relations for Active Objects,” Formal
Methods in System Design, no. 2, pp. 143--170, 2003.
mla: Wehrheim, Heike. “Behavioral Subtyping Relations for Active Objects.” Formal
Methods in System Design, no. 2, 2003, pp. 143--170, doi:10.1023/A:1024764232069.
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. Formal Methods for Components and Objects,
Second International Symposium, {FMCO} 2003, Leiden, The Netherlands, November
4-7, 2003, Revised Lectures. Lecture Notes in Computer Science. ; 2003:330--343.
doi:10.1007/978-3-540-30101-1_16'
apa: Wehrheim, H. (2003). Preserving Properties Under Change. 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 (pp. 330--343). https://doi.org/10.1007/978-3-540-30101-1_16
bibtex: '@inproceedings{Wehrheim_2003, series={Lecture Notes in Computer Science},
title={Preserving Properties Under Change}, DOI={10.1007/978-3-540-30101-1_16},
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 Formal Methods
for Components and Objects, Second International Symposium, {FMCO} 2003, Leiden,
The Netherlands, November 4-7, 2003, Revised Lectures, edited by Frank S.
de Boer, Marcello M. Bonsangue, Susanne Graf, and Willem P. de Roever, 330--343.
Lecture Notes in Computer Science, 2003. https://doi.org/10.1007/978-3-540-30101-1_16.
ieee: H. Wehrheim, “Preserving Properties Under Change,” in Formal Methods for
Components and Objects, Second International Symposium, {FMCO} 2003, Leiden, The
Netherlands, November 4-7, 2003, Revised Lectures, 2003, pp. 330--343.
mla: Wehrheim, Heike. “Preserving Properties Under Change.” Formal Methods for
Components and Objects, Second International Symposium, {FMCO} 2003, Leiden, The
Netherlands, November 4-7, 2003, Revised Lectures, edited by Frank S. de Boer
et al., 2003, pp. 330--343, doi:10.1007/978-3-540-30101-1_16.
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. Formal Methods for Open Object-Based Distributed Systems,
6th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2003, Paris, France, November
19.21, 2003, Proceedings. Lecture Notes in Computer Science. ; 2003:79--93.
doi:10.1007/978-3-540-39958-2_6'
apa: Wehrheim, H. (2003). Inheritance of Temporal Logic Properties. 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 (pp. 79--93). https://doi.org/10.1007/978-3-540-39958-2_6
bibtex: '@inproceedings{Wehrheim_2003, series={Lecture Notes in Computer Science},
title={Inheritance of Temporal Logic Properties}, DOI={10.1007/978-3-540-39958-2_6},
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 Formal
Methods for Open Object-Based Distributed Systems, 6th {IFIP} {WG} 6.1 International
Conference, {FMOODS} 2003, Paris, France, November 19.21, 2003, Proceedings,
edited by Elie Najm, Uwe Nestmann, and Perdita Stevens, 79--93. Lecture Notes
in Computer Science, 2003. https://doi.org/10.1007/978-3-540-39958-2_6.
ieee: H. Wehrheim, “Inheritance of Temporal Logic Properties,” in 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.
mla: Wehrheim, Heike. “Inheritance of Temporal Logic Properties.” Formal Methods
for Open Object-Based Distributed Systems, 6th {IFIP} {WG} 6.1 International Conference,
{FMOODS} 2003, Paris, France, November 19.21, 2003, Proceedings, edited by
Elie Najm et al., 2003, pp. 79--93, doi:10.1007/978-3-540-39958-2_6.
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'
...