[{"status":"public","editor":[{"first_name":"Martin","full_name":"Steffen, Martin","last_name":"Steffen"},{"full_name":"Zavattaro, Gianluigi","last_name":"Zavattaro","first_name":"Gianluigi"}],"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","type":"conference","department":[{"_id":"77"}],"series_title":"Lecture Notes in Computer Science","user_id":"29719","_id":"3229","page":"67--82","citation":{"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>","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.","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>.","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} }","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>","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.","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>."},"year":"2005","doi":"10.1007/11494881_5","title":"Checking the Validity of Scenarios in {UML} Models","date_created":"2018-06-14T06:41:20Z","author":[{"first_name":"Holger","last_name":"Rasch","full_name":"Rasch, Holger"},{"last_name":"Wehrheim","id":"573","full_name":"Wehrheim, Heike","first_name":"Heike"}],"date_updated":"2022-01-06T06:59:06Z"},{"department":[{"_id":"77"}],"series_title":"Lecture Notes in Computer Science","user_id":"29719","_id":"3230","status":"public","editor":[{"first_name":"Kung{-}Kiu","full_name":"Lau, Kung{-}Kiu","last_name":"Lau"},{"first_name":"Richard","last_name":"Banach","full_name":"Banach, Richard"}],"publication":"Formal Methods and Software Engineering, 7th International Conference on Formal Engineering Methods, {ICFEM} 2005, Manchester, UK, November 1-4, 2005, Proceedings","type":"conference","doi":"10.1007/11576280_25","title":"Slicing an Integrated Formal Method for Verification","author":[{"last_name":"Brückner","full_name":"Brückner, Ingo","first_name":"Ingo"},{"first_name":"Heike","last_name":"Wehrheim","full_name":"Wehrheim, Heike","id":"573"}],"date_created":"2018-06-14T06:42:51Z","date_updated":"2022-01-06T06:59:06Z","page":"360--374","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>","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.","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>.","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.","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} }","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>"},"year":"2005"},{"_id":"3231","user_id":"29719","series_title":"Lecture Notes in Computer Science","department":[{"_id":"77"}],"type":"conference","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","editor":[{"last_name":"Treharne","full_name":"Treharne, Helen","first_name":"Helen"},{"full_name":"King, Steve","last_name":"King","first_name":"Steve"},{"full_name":"C. Henson, Martin","last_name":"C. Henson","first_name":"Martin"},{"first_name":"Steve","full_name":"A. Schneider, Steve","last_name":"A. Schneider"}],"status":"public","date_updated":"2022-01-06T06:59:06Z","date_created":"2018-06-14T06:44:17Z","author":[{"full_name":"Derrick, John","last_name":"Derrick","first_name":"John"},{"first_name":"Heike","id":"573","full_name":"Wehrheim, Heike","last_name":"Wehrheim"}],"title":"Non-atomic Refinement in {Z} and {CSP}","doi":"10.1007/11415787_3","year":"2005","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>","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.","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>","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>.","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} }","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."},"page":"24--44"},{"doi":"10.1007/11415787_24","title":"Slicing Object-Z Specifications for Verification","author":[{"last_name":"Brückner","full_name":"Brückner, Ingo","first_name":"Ingo"},{"last_name":"Wehrheim","full_name":"Wehrheim, Heike","id":"573","first_name":"Heike"}],"date_created":"2018-06-14T06:45:30Z","date_updated":"2022-01-06T06:59:06Z","citation":{"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} }","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.","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.","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>.","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>"},"page":"414--433","year":"2005","series_title":"Lecture Notes in Computer Science","user_id":"29719","department":[{"_id":"77"}],"_id":"3232","status":"public","editor":[{"first_name":"Helen","last_name":"Treharne","full_name":"Treharne, Helen"},{"first_name":"Steve","last_name":"King","full_name":"King, Steve"},{"first_name":"Martin","full_name":"C. Henson, Martin","last_name":"C. Henson"},{"full_name":"A. Schneider, Steve","last_name":"A. Schneider","first_name":"Steve"}],"type":"conference","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"},{"year":"2004","citation":{"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.","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>.","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>","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.","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} }","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>.","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>"},"page":"84--102","title":"Refinement and Consistency in Component Models with Multiple Views","doi":"10.1007/11786160_5","date_updated":"2022-01-06T06:59:06Z","date_created":"2018-06-14T06:46:31Z","author":[{"first_name":"Heike","id":"573","full_name":"Wehrheim, Heike","last_name":"Wehrheim"}],"editor":[{"full_name":"H. Reussner, Ralf","last_name":"H. Reussner","first_name":"Ralf"},{"first_name":"Judith","last_name":"A. Stafford","full_name":"A. Stafford, Judith"},{"last_name":"A. Szyperski","full_name":"A. Szyperski, Clemens","first_name":"Clemens"}],"status":"public","type":"conference","publication":"Architecting Systems with Trustworthy Components, International Seminar, Dagstuhl Castle, Germany, December 12-17, 2004. Revised Selected Papers","_id":"3233","user_id":"29719","series_title":"Lecture Notes in Computer Science","department":[{"_id":"77"}]},{"editor":[{"first_name":"Eerke","last_name":"A. Boiten","full_name":"A. Boiten, Eerke"},{"first_name":"John","last_name":"Derrick","full_name":"Derrick, John"},{"last_name":"Smith","full_name":"Smith, Graeme","first_name":"Graeme"}],"status":"public","type":"conference","publication":"Integrated Formal Methods, 4th International Conference, {IFM} 2004, Canterbury, UK, April 4-7, 2004, Proceedings","_id":"3234","series_title":"Lecture Notes in Computer Science","user_id":"29719","department":[{"_id":"77"}],"year":"2004","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>","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.","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>.","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>","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.","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>.","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} }"},"page":"267--286","title":"Linking {CSP-OZ} with {UML} and Java: {A} Case Study","doi":"10.1007/978-3-540-24756-2_15","date_updated":"2022-01-06T06:59:06Z","date_created":"2018-06-14T06:47:35Z","author":[{"last_name":"Möller","full_name":"Möller, Michael","first_name":"Michael"},{"first_name":"Ernst-Rüdiger","full_name":"Olderog, Ernst-Rüdiger","last_name":"Olderog"},{"full_name":"Rasch, Holger","last_name":"Rasch","first_name":"Holger"},{"first_name":"Heike","full_name":"Wehrheim, Heike","id":"573","last_name":"Wehrheim"}]},{"type":"conference","publication":"Language Engineering for Model-Driven Software Development, 29. February - 5. March 2004","status":"public","editor":[{"first_name":"Jean","last_name":"B{\\'{e}}zivin","full_name":"B{\\'{e}}zivin, Jean"},{"first_name":"Reiko","full_name":"Heckel, Reiko","last_name":"Heckel"}],"user_id":"29719","series_title":"Dagstuhl Seminar Proceedings","department":[{"_id":"77"}],"_id":"3235","citation":{"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>.","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.","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} }","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.","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.","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."},"year":"2004","author":[{"full_name":"Wehrheim, Heike","id":"573","last_name":"Wehrheim","first_name":"Heike"}],"date_created":"2018-06-14T06:48:55Z","date_updated":"2022-01-06T06:59:06Z","title":"Refinement and Consistency in Multiview Models"},{"editor":[{"last_name":"S. de Boer","full_name":"S. de Boer, Frank","first_name":"Frank"},{"last_name":"M. Bonsangue","full_name":"M. Bonsangue, Marcello","first_name":"Marcello"},{"first_name":"Susanne","last_name":"Graf","full_name":"Graf, Susanne"},{"last_name":"P. de Roever","full_name":"P. de Roever, Willem","first_name":"Willem"}],"status":"public","publication":"Formal Methods for Components and Objects, Second International Symposium, {FMCO} 2003, Leiden, The Netherlands, November 4-7, 2003, Revised Lectures","type":"conference","_id":"3237","department":[{"_id":"77"}],"user_id":"29719","series_title":"Lecture Notes in Computer Science","year":"2003","page":"330--343","citation":{"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} }","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.","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.","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>"},"title":"Preserving Properties Under Change","doi":"10.1007/978-3-540-30101-1_16","date_updated":"2022-01-06T06:59:06Z","date_created":"2018-06-14T06:51:09Z","author":[{"full_name":"Wehrheim, Heike","id":"573","last_name":"Wehrheim","first_name":"Heike"}]},{"year":"2003","page":"79--93","citation":{"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>","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.","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} }","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>","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."},"date_updated":"2022-01-06T06:59:06Z","author":[{"first_name":"Heike","last_name":"Wehrheim","full_name":"Wehrheim, Heike","id":"573"}],"date_created":"2018-06-14T06:52:17Z","title":"Inheritance of Temporal Logic Properties","doi":"10.1007/978-3-540-39958-2_6","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","type":"conference","editor":[{"first_name":"Elie","last_name":"Najm","full_name":"Najm, Elie"},{"full_name":"Nestmann, Uwe","last_name":"Nestmann","first_name":"Uwe"},{"last_name":"Stevens","full_name":"Stevens, Perdita","first_name":"Perdita"}],"status":"public","_id":"3238","department":[{"_id":"77"}],"user_id":"29719","series_title":"Lecture Notes in Computer Science"},{"_id":"3239","department":[{"_id":"77"}],"series_title":"Lecture Notes in Computer Science","user_id":"29719","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","type":"conference","editor":[{"full_name":"Najm, Elie","last_name":"Najm","first_name":"Elie"},{"first_name":"Uwe","last_name":"Nestmann","full_name":"Nestmann, Uwe"},{"first_name":"Perdita","full_name":"Stevens, Perdita","last_name":"Stevens"}],"status":"public","date_updated":"2022-01-06T06:59:06Z","date_created":"2018-06-14T06:53:24Z","author":[{"first_name":"Holger","full_name":"Rasch, Holger","last_name":"Rasch"},{"first_name":"Heike","last_name":"Wehrheim","id":"573","full_name":"Wehrheim, Heike"}],"title":"Checking Consistency in {UML} Diagramms: Classes and State Machines","doi":"10.1007/978-3-540-39958-2_16","year":"2003","page":"229--243","citation":{"apa":"Rasch, H., &#38; Wehrheim, H. (2003). Checking Consistency in {UML} Diagramms: Classes and State Machines. 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. 229--243). <a href=\"https://doi.org/10.1007/978-3-540-39958-2_16\">https://doi.org/10.1007/978-3-540-39958-2_16</a>","short":"H. Rasch, 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. 229--243.","mla":"Rasch, Holger, and Heike Wehrheim. “Checking Consistency in {UML} Diagramms: Classes and State Machines.” <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. 229--243, doi:<a href=\"https://doi.org/10.1007/978-3-540-39958-2_16\">10.1007/978-3-540-39958-2_16</a>.","bibtex":"@inproceedings{Rasch_Wehrheim_2003, series={Lecture Notes in Computer Science}, title={Checking Consistency in {UML} Diagramms: Classes and State Machines}, DOI={<a href=\"https://doi.org/10.1007/978-3-540-39958-2_16\">10.1007/978-3-540-39958-2_16</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={Rasch, Holger and Wehrheim, Heike}, editor={Najm, Elie and Nestmann, Uwe and Stevens, PerditaEditors}, year={2003}, pages={229--243}, collection={Lecture Notes in Computer Science} }","chicago":"Rasch, Holger, and Heike Wehrheim. “Checking Consistency in {UML} Diagramms: Classes and State Machines.” 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, 229--243. Lecture Notes in Computer Science, 2003. <a href=\"https://doi.org/10.1007/978-3-540-39958-2_16\">https://doi.org/10.1007/978-3-540-39958-2_16</a>.","ieee":"H. Rasch and H. Wehrheim, “Checking Consistency in {UML} Diagramms: Classes and State Machines,” 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. 229--243.","ama":"Rasch H, Wehrheim H. Checking Consistency in {UML} Diagramms: Classes and State Machines. 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:229--243. doi:<a href=\"https://doi.org/10.1007/978-3-540-39958-2_16\">10.1007/978-3-540-39958-2_16</a>"}},{"_id":"3240","department":[{"_id":"77"}],"user_id":"29719","series_title":"Lecture Notes in Computer Science","editor":[{"last_name":"Bert","full_name":"Bert, Didier","first_name":"Didier"},{"full_name":"P. Bowen, Jonathan","last_name":"P. Bowen","first_name":"Jonathan"},{"first_name":"Steve","full_name":"King, Steve","last_name":"King"},{"first_name":"Marina","full_name":"A. Wald{\\'{e}}n, Marina","last_name":"A. Wald{\\'{e}}n"}],"status":"public","publication":"{ZB} 2003: Formal Specification and Development in {Z} and B, Third International Conference of {B} and {Z} Users, Turku, Finland, June 4-6, 2003, Proceedings","type":"conference","title":"Using Coupled Simulations in Non-atomic Refinement","doi":"10.1007/3-540-44880-2_10","date_updated":"2022-01-06T06:59:07Z","author":[{"last_name":"Derrick","full_name":"Derrick, John","first_name":"John"},{"first_name":"Heike","id":"573","full_name":"Wehrheim, Heike","last_name":"Wehrheim"}],"date_created":"2018-06-14T06:54:54Z","year":"2003","page":"127--147","citation":{"mla":"Derrick, John, and Heike Wehrheim. “Using Coupled Simulations in Non-Atomic Refinement.” <i>{ZB} 2003: Formal Specification and Development in {Z} and B, Third International Conference of {B} and {Z} Users, Turku, Finland, June 4-6, 2003, Proceedings</i>, edited by Didier Bert et al., 2003, pp. 127--147, doi:<a href=\"https://doi.org/10.1007/3-540-44880-2_10\">10.1007/3-540-44880-2_10</a>.","short":"J. Derrick, H. Wehrheim, in: D. Bert, J. P. Bowen, S. King, M. A. Wald{\\’{e}}n (Eds.), {ZB} 2003: Formal Specification and Development in {Z} and B, Third International Conference of {B} and {Z} Users, Turku, Finland, June 4-6, 2003, Proceedings, 2003, pp. 127--147.","bibtex":"@inproceedings{Derrick_Wehrheim_2003, series={Lecture Notes in Computer Science}, title={Using Coupled Simulations in Non-atomic Refinement}, DOI={<a href=\"https://doi.org/10.1007/3-540-44880-2_10\">10.1007/3-540-44880-2_10</a>}, booktitle={{ZB} 2003: Formal Specification and Development in {Z} and B, Third International Conference of {B} and {Z} Users, Turku, Finland, June 4-6, 2003, Proceedings}, author={Derrick, John and Wehrheim, Heike}, editor={Bert, Didier and P. Bowen, Jonathan and King, Steve and A. Wald{\\’{e}}n, MarinaEditors}, year={2003}, pages={127--147}, collection={Lecture Notes in Computer Science} }","apa":"Derrick, J., &#38; Wehrheim, H. (2003). Using Coupled Simulations in Non-atomic Refinement. In D. Bert, J. P. Bowen, S. King, &#38; M. A. Wald{\\’{e}}n (Eds.), <i>{ZB} 2003: Formal Specification and Development in {Z} and B, Third International Conference of {B} and {Z} Users, Turku, Finland, June 4-6, 2003, Proceedings</i> (pp. 127--147). <a href=\"https://doi.org/10.1007/3-540-44880-2_10\">https://doi.org/10.1007/3-540-44880-2_10</a>","ama":"Derrick J, Wehrheim H. Using Coupled Simulations in Non-atomic Refinement. In: Bert D, P. Bowen J, King S, A. Wald{\\’{e}}n M, eds. <i>{ZB} 2003: Formal Specification and Development in {Z} and B, Third International Conference of {B} and {Z} Users, Turku, Finland, June 4-6, 2003, Proceedings</i>. Lecture Notes in Computer Science. ; 2003:127--147. doi:<a href=\"https://doi.org/10.1007/3-540-44880-2_10\">10.1007/3-540-44880-2_10</a>","ieee":"J. Derrick and H. Wehrheim, “Using Coupled Simulations in Non-atomic Refinement,” in <i>{ZB} 2003: Formal Specification and Development in {Z} and B, Third International Conference of {B} and {Z} Users, Turku, Finland, June 4-6, 2003, Proceedings</i>, 2003, pp. 127--147.","chicago":"Derrick, John, and Heike Wehrheim. “Using Coupled Simulations in Non-Atomic Refinement.” In <i>{ZB} 2003: Formal Specification and Development in {Z} and B, Third International Conference of {B} and {Z} Users, Turku, Finland, June 4-6, 2003, Proceedings</i>, edited by Didier Bert, Jonathan P. Bowen, Steve King, and Marina A. Wald{\\’{e}}n, 127--147. Lecture Notes in Computer Science, 2003. <a href=\"https://doi.org/10.1007/3-540-44880-2_10\">https://doi.org/10.1007/3-540-44880-2_10</a>."}},{"year":"2002","page":"405--435","citation":{"short":"H. Wehrheim, Nord. J. Comput. (2002) 405--435.","bibtex":"@article{Wehrheim_2002, title={Relating State-based and Behaviour-oriented Subtyping}, number={4}, journal={Nord. J. Comput.}, author={Wehrheim, Heike}, year={2002}, pages={405--435} }","mla":"Wehrheim, Heike. “Relating State-Based and Behaviour-Oriented Subtyping.” <i>Nord. J. Comput.</i>, no. 4, 2002, pp. 405--435.","apa":"Wehrheim, H. (2002). Relating State-based and Behaviour-oriented Subtyping. <i>Nord. J. Comput.</i>, (4), 405--435.","ama":"Wehrheim H. Relating State-based and Behaviour-oriented Subtyping. <i>Nord J Comput</i>. 2002;(4):405--435.","chicago":"Wehrheim, Heike. “Relating State-Based and Behaviour-Oriented Subtyping.” <i>Nord. J. Comput.</i>, no. 4 (2002): 405--435.","ieee":"H. Wehrheim, “Relating State-based and Behaviour-oriented Subtyping,” <i>Nord. J. Comput.</i>, no. 4, pp. 405--435, 2002."},"issue":"4","title":"Relating State-based and Behaviour-oriented Subtyping","date_updated":"2022-01-06T06:59:07Z","date_created":"2018-06-14T06:56:20Z","author":[{"last_name":"Wehrheim","full_name":"Wehrheim, Heike","id":"573","first_name":"Heike"}],"status":"public","publication":"Nord. J. Comput.","type":"journal_article","_id":"3241","department":[{"_id":"77"}],"user_id":"29719"},{"title":"Specification and Inheritance in {CSP-OZ}","doi":"10.1007/978-3-540-39656-7_15","date_updated":"2022-01-06T06:59:07Z","date_created":"2018-06-14T07:10:28Z","author":[{"last_name":"Olderog","full_name":"Olderog, Ernst-Rüdiger","first_name":"Ernst-Rüdiger"},{"id":"573","full_name":"Wehrheim, Heike","last_name":"Wehrheim","first_name":"Heike"}],"year":"2002","page":"361--379","citation":{"ama":"Olderog E-R, Wehrheim H. Specification and Inheritance in {CSP-OZ}. In: S. de Boer F, M. Bonsangue M, Graf S, P. de Roever W, eds. <i>Formal Methods for Components and Objects, First International Symposium, {FMCO} 2002, Leiden, The Netherlands, November 5-8, 2002, Revised Lectures</i>. Lecture Notes in Computer Science. ; 2002:361--379. doi:<a href=\"https://doi.org/10.1007/978-3-540-39656-7_15\">10.1007/978-3-540-39656-7_15</a>","ieee":"E.-R. Olderog and H. Wehrheim, “Specification and Inheritance in {CSP-OZ},” in <i>Formal Methods for Components and Objects, First International Symposium, {FMCO} 2002, Leiden, The Netherlands, November 5-8, 2002, Revised Lectures</i>, 2002, pp. 361--379.","chicago":"Olderog, Ernst-Rüdiger, and Heike Wehrheim. “Specification and Inheritance in {CSP-OZ}.” In <i>Formal Methods for Components and Objects, First International Symposium, {FMCO} 2002, Leiden, The Netherlands, November 5-8, 2002, Revised Lectures</i>, edited by Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, and Willem P. de Roever, 361--379. Lecture Notes in Computer Science, 2002. <a href=\"https://doi.org/10.1007/978-3-540-39656-7_15\">https://doi.org/10.1007/978-3-540-39656-7_15</a>.","apa":"Olderog, E.-R., &#38; Wehrheim, H. (2002). Specification and Inheritance in {CSP-OZ}. In F. S. de Boer, M. M. Bonsangue, S. Graf, &#38; W. P. de Roever (Eds.), <i>Formal Methods for Components and Objects, First International Symposium, {FMCO} 2002, Leiden, The Netherlands, November 5-8, 2002, Revised Lectures</i> (pp. 361--379). <a href=\"https://doi.org/10.1007/978-3-540-39656-7_15\">https://doi.org/10.1007/978-3-540-39656-7_15</a>","bibtex":"@inproceedings{Olderog_Wehrheim_2002, series={Lecture Notes in Computer Science}, title={Specification and Inheritance in {CSP-OZ}}, DOI={<a href=\"https://doi.org/10.1007/978-3-540-39656-7_15\">10.1007/978-3-540-39656-7_15</a>}, booktitle={Formal Methods for Components and Objects, First International Symposium, {FMCO} 2002, Leiden, The Netherlands, November 5-8, 2002, Revised Lectures}, author={Olderog, Ernst-Rüdiger and Wehrheim, Heike}, editor={S. de Boer, Frank and M. Bonsangue, Marcello and Graf, Susanne and P. de Roever, WillemEditors}, year={2002}, pages={361--379}, collection={Lecture Notes in Computer Science} }","mla":"Olderog, Ernst-Rüdiger, and Heike Wehrheim. “Specification and Inheritance in {CSP-OZ}.” <i>Formal Methods for Components and Objects, First International Symposium, {FMCO} 2002, Leiden, The Netherlands, November 5-8, 2002, Revised Lectures</i>, edited by Frank S. de Boer et al., 2002, pp. 361--379, doi:<a href=\"https://doi.org/10.1007/978-3-540-39656-7_15\">10.1007/978-3-540-39656-7_15</a>.","short":"E.-R. Olderog, H. Wehrheim, in: F. S. de Boer, M. M. Bonsangue, S. Graf, W. P. de Roever (Eds.), Formal Methods for Components and Objects, First International Symposium, {FMCO} 2002, Leiden, The Netherlands, November 5-8, 2002, Revised Lectures, 2002, pp. 361--379."},"_id":"3242","department":[{"_id":"77"}],"series_title":"Lecture Notes in Computer Science","user_id":"29719","editor":[{"first_name":"Frank","last_name":"S. de Boer","full_name":"S. de Boer, Frank"},{"last_name":"M. Bonsangue","full_name":"M. Bonsangue, Marcello","first_name":"Marcello"},{"last_name":"Graf","full_name":"Graf, Susanne","first_name":"Susanne"},{"first_name":"Willem","last_name":"P. de Roever","full_name":"P. de Roever, Willem"}],"status":"public","publication":"Formal Methods for Components and Objects, First International Symposium, {FMCO} 2002, Leiden, The Netherlands, November 5-8, 2002, Revised Lectures","type":"conference"},{"publication":"Formal Methods for Open Object-Based Distributed Systems V, {IFIP} {TC6/WG6.1} Fifth International Conference on Formal Methods for Open Object-Based Distributed Systems {(FMOODS} 2002), March 20-22, 2002, Enschede, The Netherlands","type":"conference","editor":[{"last_name":"Jacobs","full_name":"Jacobs, Bart","first_name":"Bart"},{"full_name":"Rensink, Arend","last_name":"Rensink","first_name":"Arend"}],"status":"public","_id":"3243","department":[{"_id":"77"}],"user_id":"29719","series_title":"{IFIP} Conference Proceedings","year":"2002","page":"79--93","citation":{"apa":"Wehrheim, H. (2002). Checking Behavioural Subtypes via Refinement. In B. Jacobs &#38; A. Rensink (Eds.), <i>Formal Methods for Open Object-Based Distributed Systems V, {IFIP} {TC6/WG6.1} Fifth International Conference on Formal Methods for Open Object-Based Distributed Systems {(FMOODS} 2002), March 20-22, 2002, Enschede, The Netherlands</i> (pp. 79--93).","short":"H. Wehrheim, in: B. Jacobs, A. Rensink (Eds.), Formal Methods for Open Object-Based Distributed Systems V, {IFIP} {TC6/WG6.1} Fifth International Conference on Formal Methods for Open Object-Based Distributed Systems {(FMOODS} 2002), March 20-22, 2002, Enschede, The Netherlands, 2002, pp. 79--93.","mla":"Wehrheim, Heike. “Checking Behavioural Subtypes via Refinement.” <i>Formal Methods for Open Object-Based Distributed Systems V, {IFIP} {TC6/WG6.1} Fifth International Conference on Formal Methods for Open Object-Based Distributed Systems {(FMOODS} 2002), March 20-22, 2002, Enschede, The Netherlands</i>, edited by Bart Jacobs and Arend Rensink, 2002, pp. 79--93.","bibtex":"@inproceedings{Wehrheim_2002, series={{IFIP} Conference Proceedings}, title={Checking Behavioural Subtypes via Refinement}, booktitle={Formal Methods for Open Object-Based Distributed Systems V, {IFIP} {TC6/WG6.1} Fifth International Conference on Formal Methods for Open Object-Based Distributed Systems {(FMOODS} 2002), March 20-22, 2002, Enschede, The Netherlands}, author={Wehrheim, Heike}, editor={Jacobs, Bart and Rensink, ArendEditors}, year={2002}, pages={79--93}, collection={{IFIP} Conference Proceedings} }","ama":"Wehrheim H. Checking Behavioural Subtypes via Refinement. In: Jacobs B, Rensink A, eds. <i>Formal Methods for Open Object-Based Distributed Systems V, {IFIP} {TC6/WG6.1} Fifth International Conference on Formal Methods for Open Object-Based Distributed Systems {(FMOODS} 2002), March 20-22, 2002, Enschede, The Netherlands</i>. {IFIP} Conference Proceedings. ; 2002:79--93.","ieee":"H. Wehrheim, “Checking Behavioural Subtypes via Refinement,” in <i>Formal Methods for Open Object-Based Distributed Systems V, {IFIP} {TC6/WG6.1} Fifth International Conference on Formal Methods for Open Object-Based Distributed Systems {(FMOODS} 2002), March 20-22, 2002, Enschede, The Netherlands</i>, 2002, pp. 79--93.","chicago":"Wehrheim, Heike. “Checking Behavioural Subtypes via Refinement.” In <i>Formal Methods for Open Object-Based Distributed Systems V, {IFIP} {TC6/WG6.1} Fifth International Conference on Formal Methods for Open Object-Based Distributed Systems {(FMOODS} 2002), March 20-22, 2002, Enschede, The Netherlands</i>, edited by Bart Jacobs and Arend Rensink, 79--93. {IFIP} Conference Proceedings, 2002."},"date_updated":"2022-01-06T06:59:07Z","author":[{"first_name":"Heike","last_name":"Wehrheim","id":"573","full_name":"Wehrheim, Heike"}],"date_created":"2018-06-14T07:11:33Z","title":"Checking Behavioural Subtypes via Refinement"},{"issue":"3","citation":{"mla":"Rensink, Arend, and Heike Wehrheim. “Process Algebra with Action Dependencies.” <i>Acta Inf.</i>, no. 3, 2001, pp. 155--234, doi:<a href=\"https://doi.org/10.1007/s002360100070\">10.1007/s002360100070</a>.","short":"A. Rensink, H. Wehrheim, Acta Inf. (2001) 155--234.","bibtex":"@article{Rensink_Wehrheim_2001, title={Process algebra with action dependencies}, DOI={<a href=\"https://doi.org/10.1007/s002360100070\">10.1007/s002360100070</a>}, number={3}, journal={Acta Inf.}, author={Rensink, Arend and Wehrheim, Heike}, year={2001}, pages={155--234} }","apa":"Rensink, A., &#38; Wehrheim, H. (2001). Process algebra with action dependencies. <i>Acta Inf.</i>, (3), 155--234. <a href=\"https://doi.org/10.1007/s002360100070\">https://doi.org/10.1007/s002360100070</a>","ieee":"A. Rensink and H. Wehrheim, “Process algebra with action dependencies,” <i>Acta Inf.</i>, no. 3, pp. 155--234, 2001.","chicago":"Rensink, Arend, and Heike Wehrheim. “Process Algebra with Action Dependencies.” <i>Acta Inf.</i>, no. 3 (2001): 155--234. <a href=\"https://doi.org/10.1007/s002360100070\">https://doi.org/10.1007/s002360100070</a>.","ama":"Rensink A, Wehrheim H. Process algebra with action dependencies. <i>Acta Inf</i>. 2001;(3):155--234. doi:<a href=\"https://doi.org/10.1007/s002360100070\">10.1007/s002360100070</a>"},"page":"155--234","year":"2001","date_created":"2018-06-14T07:12:39Z","author":[{"first_name":"Arend","full_name":"Rensink, Arend","last_name":"Rensink"},{"full_name":"Wehrheim, Heike","id":"573","last_name":"Wehrheim","first_name":"Heike"}],"date_updated":"2022-01-06T06:59:07Z","doi":"10.1007/s002360100070","title":"Process algebra with action dependencies","type":"journal_article","publication":"Acta Inf.","status":"public","user_id":"29719","department":[{"_id":"77"}],"_id":"3244"},{"doi":"10.1016/S1571-0661(04)00247-6","title":"Jass - Java with Assertions","date_created":"2018-06-14T07:14:07Z","author":[{"first_name":"Detlef","full_name":"Bartetzko, Detlef","last_name":"Bartetzko"},{"last_name":"Fischer","full_name":"Fischer, Clemens","first_name":"Clemens"},{"last_name":"Möller","full_name":"Möller, Michael","first_name":"Michael"},{"id":"573","full_name":"Wehrheim, Heike","last_name":"Wehrheim","first_name":"Heike"}],"date_updated":"2022-01-06T06:59:07Z","page":"103--117","citation":{"ama":"Bartetzko D, Fischer C, Möller M, Wehrheim H. Jass - Java with Assertions. <i>Electr Notes Theor Comput Sci</i>. 2001;(2):103--117. doi:<a href=\"https://doi.org/10.1016/S1571-0661(04)00247-6\">10.1016/S1571-0661(04)00247-6</a>","ieee":"D. Bartetzko, C. Fischer, M. Möller, and H. Wehrheim, “Jass - Java with Assertions,” <i>Electr. Notes Theor. Comput. Sci.</i>, no. 2, pp. 103--117, 2001.","chicago":"Bartetzko, Detlef, Clemens Fischer, Michael Möller, and Heike Wehrheim. “Jass - Java with Assertions.” <i>Electr. Notes Theor. Comput. Sci.</i>, no. 2 (2001): 103--117. <a href=\"https://doi.org/10.1016/S1571-0661(04)00247-6\">https://doi.org/10.1016/S1571-0661(04)00247-6</a>.","bibtex":"@article{Bartetzko_Fischer_Möller_Wehrheim_2001, title={Jass - Java with Assertions}, DOI={<a href=\"https://doi.org/10.1016/S1571-0661(04)00247-6\">10.1016/S1571-0661(04)00247-6</a>}, number={2}, journal={Electr. Notes Theor. Comput. Sci.}, author={Bartetzko, Detlef and Fischer, Clemens and Möller, Michael and Wehrheim, Heike}, year={2001}, pages={103--117} }","short":"D. Bartetzko, C. Fischer, M. Möller, H. Wehrheim, Electr. Notes Theor. Comput. Sci. (2001) 103--117.","mla":"Bartetzko, Detlef, et al. “Jass - Java with Assertions.” <i>Electr. Notes Theor. Comput. Sci.</i>, no. 2, 2001, pp. 103--117, doi:<a href=\"https://doi.org/10.1016/S1571-0661(04)00247-6\">10.1016/S1571-0661(04)00247-6</a>.","apa":"Bartetzko, D., Fischer, C., Möller, M., &#38; Wehrheim, H. (2001). Jass - Java with Assertions. <i>Electr. Notes Theor. Comput. Sci.</i>, (2), 103--117. <a href=\"https://doi.org/10.1016/S1571-0661(04)00247-6\">https://doi.org/10.1016/S1571-0661(04)00247-6</a>"},"year":"2001","issue":"2","department":[{"_id":"77"}],"user_id":"29719","_id":"3245","status":"public","publication":"Electr. Notes Theor. Comput. Sci.","type":"journal_article"},{"type":"conference","publication":"Fundamental Approaches to Software Engineering, 4th International Conference, {FASE} 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, {ETAPS} 2001 Genova, Italy, April 2-6, 2001, Proceedings","editor":[{"first_name":"Heinrich","full_name":"Hu{\\ss}mann, Heinrich","last_name":"Hu{\\ss}mann"}],"status":"public","_id":"3246","user_id":"29719","series_title":"Lecture Notes in Computer Science","department":[{"_id":"77"}],"year":"2001","citation":{"apa":"Fischer, C., Olderog, E.-R., &#38; Wehrheim, H. (2001). A {CSP} View on {UML-RT} Structure Diagrams. In H. Hu{\\ss}mann (Ed.), <i>Fundamental Approaches to Software Engineering, 4th International Conference, {FASE} 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, {ETAPS} 2001 Genova, Italy, April 2-6, 2001, Proceedings</i> (pp. 91--108). <a href=\"https://doi.org/10.1007/3-540-45314-8_8\">https://doi.org/10.1007/3-540-45314-8_8</a>","mla":"Fischer, Clemens, et al. “A {CSP} View on {UML-RT} Structure Diagrams.” <i>Fundamental Approaches to Software Engineering, 4th International Conference, {FASE} 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, {ETAPS} 2001 Genova, Italy, April 2-6, 2001, Proceedings</i>, edited by Heinrich Hu{\\ss}mann, 2001, pp. 91--108, doi:<a href=\"https://doi.org/10.1007/3-540-45314-8_8\">10.1007/3-540-45314-8_8</a>.","bibtex":"@inproceedings{Fischer_Olderog_Wehrheim_2001, series={Lecture Notes in Computer Science}, title={A {CSP} View on {UML-RT} Structure Diagrams}, DOI={<a href=\"https://doi.org/10.1007/3-540-45314-8_8\">10.1007/3-540-45314-8_8</a>}, booktitle={Fundamental Approaches to Software Engineering, 4th International Conference, {FASE} 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, {ETAPS} 2001 Genova, Italy, April 2-6, 2001, Proceedings}, author={Fischer, Clemens and Olderog, Ernst-Rüdiger and Wehrheim, Heike}, editor={Hu{\\ss}mann, HeinrichEditor}, year={2001}, pages={91--108}, collection={Lecture Notes in Computer Science} }","short":"C. Fischer, E.-R. Olderog, H. Wehrheim, in: H. Hu{\\ss}mann (Ed.), Fundamental Approaches to Software Engineering, 4th International Conference, {FASE} 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, {ETAPS} 2001 Genova, Italy, April 2-6, 2001, Proceedings, 2001, pp. 91--108.","ama":"Fischer C, Olderog E-R, Wehrheim H. A {CSP} View on {UML-RT} Structure Diagrams. In: Hu{\\ss}mann H, ed. <i>Fundamental Approaches to Software Engineering, 4th International Conference, {FASE} 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, {ETAPS} 2001 Genova, Italy, April 2-6, 2001, Proceedings</i>. Lecture Notes in Computer Science. ; 2001:91--108. doi:<a href=\"https://doi.org/10.1007/3-540-45314-8_8\">10.1007/3-540-45314-8_8</a>","chicago":"Fischer, Clemens, Ernst-Rüdiger Olderog, and Heike Wehrheim. “A {CSP} View on {UML-RT} Structure Diagrams.” In <i>Fundamental Approaches to Software Engineering, 4th International Conference, {FASE} 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, {ETAPS} 2001 Genova, Italy, April 2-6, 2001, Proceedings</i>, edited by Heinrich Hu{\\ss}mann, 91--108. Lecture Notes in Computer Science, 2001. <a href=\"https://doi.org/10.1007/3-540-45314-8_8\">https://doi.org/10.1007/3-540-45314-8_8</a>.","ieee":"C. Fischer, E.-R. Olderog, and H. Wehrheim, “A {CSP} View on {UML-RT} Structure Diagrams,” in <i>Fundamental Approaches to Software Engineering, 4th International Conference, {FASE} 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, {ETAPS} 2001 Genova, Italy, April 2-6, 2001, Proceedings</i>, 2001, pp. 91--108."},"page":"91--108","date_updated":"2022-01-06T06:59:07Z","author":[{"first_name":"Clemens","full_name":"Fischer, Clemens","last_name":"Fischer"},{"first_name":"Ernst-Rüdiger","full_name":"Olderog, Ernst-Rüdiger","last_name":"Olderog"},{"full_name":"Wehrheim, Heike","id":"573","last_name":"Wehrheim","first_name":"Heike"}],"date_created":"2018-06-14T07:15:07Z","title":"A {CSP} View on {UML-RT} Structure Diagrams","doi":"10.1007/3-540-45314-8_8"},{"_id":"3247","user_id":"29719","department":[{"_id":"77"}],"status":"public","type":"journal_article","publication":"Bulletin of the {EATCS}","title":"Failure-Divergence Semantics as a Formal Basis for an Object-Oriented Integrated Formal Method","date_updated":"2022-01-06T06:59:07Z","author":[{"full_name":"Fischer, Clemens","last_name":"Fischer","first_name":"Clemens"},{"first_name":"Heike","last_name":"Wehrheim","full_name":"Wehrheim, Heike","id":"573"}],"date_created":"2018-06-14T07:17:49Z","year":"2000","citation":{"chicago":"Fischer, Clemens, and Heike Wehrheim. “Failure-Divergence Semantics as a Formal Basis for an Object-Oriented Integrated Formal Method.” <i>Bulletin of the {EATCS}</i>, 2000, 92--101.","ieee":"C. Fischer and H. Wehrheim, “Failure-Divergence Semantics as a Formal Basis for an Object-Oriented Integrated Formal Method,” <i>Bulletin of the {EATCS}</i>, pp. 92--101, 2000.","ama":"Fischer C, Wehrheim H. Failure-Divergence Semantics as a Formal Basis for an Object-Oriented Integrated Formal Method. <i>Bulletin of the {EATCS}</i>. 2000:92--101.","apa":"Fischer, C., &#38; Wehrheim, H. (2000). Failure-Divergence Semantics as a Formal Basis for an Object-Oriented Integrated Formal Method. <i>Bulletin of the {EATCS}</i>, 92--101.","bibtex":"@article{Fischer_Wehrheim_2000, title={Failure-Divergence Semantics as a Formal Basis for an Object-Oriented Integrated Formal Method}, journal={Bulletin of the {EATCS}}, author={Fischer, Clemens and Wehrheim, Heike}, year={2000}, pages={92--101} }","short":"C. Fischer, H. Wehrheim, Bulletin of the {EATCS} (2000) 92--101.","mla":"Fischer, Clemens, and Heike Wehrheim. “Failure-Divergence Semantics as a Formal Basis for an Object-Oriented Integrated Formal Method.” <i>Bulletin of the {EATCS}</i>, 2000, pp. 92--101."},"page":"92--101"},{"issue":"3","citation":{"short":"H. Wehrheim, Formal Asp. Comput. (2000) 147--164.","mla":"Wehrheim, Heike. “Data Abstraction Techniques in the Validation of {CSP-OZ} Specifications.” <i>Formal Asp. Comput.</i>, no. 3, 2000, pp. 147--164, doi:<a href=\"https://doi.org/10.1007/s001650070026\">10.1007/s001650070026</a>.","bibtex":"@article{Wehrheim_2000, title={Data Abstraction Techniques in the Validation of {CSP-OZ} Specifications}, DOI={<a href=\"https://doi.org/10.1007/s001650070026\">10.1007/s001650070026</a>}, number={3}, journal={Formal Asp. Comput.}, author={Wehrheim, Heike}, year={2000}, pages={147--164} }","apa":"Wehrheim, H. (2000). Data Abstraction Techniques in the Validation of {CSP-OZ} Specifications. <i>Formal Asp. Comput.</i>, (3), 147--164. <a href=\"https://doi.org/10.1007/s001650070026\">https://doi.org/10.1007/s001650070026</a>","ieee":"H. Wehrheim, “Data Abstraction Techniques in the Validation of {CSP-OZ} Specifications,” <i>Formal Asp. Comput.</i>, no. 3, pp. 147--164, 2000.","chicago":"Wehrheim, Heike. “Data Abstraction Techniques in the Validation of {CSP-OZ} Specifications.” <i>Formal Asp. Comput.</i>, no. 3 (2000): 147--164. <a href=\"https://doi.org/10.1007/s001650070026\">https://doi.org/10.1007/s001650070026</a>.","ama":"Wehrheim H. Data Abstraction Techniques in the Validation of {CSP-OZ} Specifications. <i>Formal Asp Comput</i>. 2000;(3):147--164. doi:<a href=\"https://doi.org/10.1007/s001650070026\">10.1007/s001650070026</a>"},"page":"147--164","year":"2000","date_created":"2018-06-14T07:19:50Z","author":[{"first_name":"Heike","full_name":"Wehrheim, Heike","id":"573","last_name":"Wehrheim"}],"date_updated":"2022-01-06T06:59:07Z","doi":"10.1007/s001650070026","title":"Data Abstraction Techniques in the Validation of {CSP-OZ} Specifications","type":"journal_article","publication":"Formal Asp. Comput.","status":"public","user_id":"29719","department":[{"_id":"77"}],"_id":"3248"},{"department":[{"_id":"77"}],"series_title":"Lecture Notes in Computer Science","user_id":"29719","_id":"3249","status":"public","editor":[{"full_name":"Rus, Teodor","last_name":"Rus","first_name":"Teodor"}],"publication":"Algebraic Methodology and Software Technology. 8th International Conference, {AMAST} 2000, Iowa City, Iowa, USA, May 20-27, 2000, Proceedings","type":"conference","doi":"10.1007/3-540-45499-3_33","title":"Behavioural Subtyping Relations for Object-Oriented Formalisms","date_created":"2018-06-14T07:20:56Z","author":[{"first_name":"Clemens","full_name":"Fischer, Clemens","last_name":"Fischer"},{"full_name":"Wehrheim, Heike","id":"573","last_name":"Wehrheim","first_name":"Heike"}],"date_updated":"2022-01-06T06:59:07Z","page":"469--483","citation":{"bibtex":"@inproceedings{Fischer_Wehrheim_2000, series={Lecture Notes in Computer Science}, title={Behavioural Subtyping Relations for Object-Oriented Formalisms}, DOI={<a href=\"https://doi.org/10.1007/3-540-45499-3_33\">10.1007/3-540-45499-3_33</a>}, booktitle={Algebraic Methodology and Software Technology. 8th International Conference, {AMAST} 2000, Iowa City, Iowa, USA, May 20-27, 2000, Proceedings}, author={Fischer, Clemens and Wehrheim, Heike}, editor={Rus, TeodorEditor}, year={2000}, pages={469--483}, collection={Lecture Notes in Computer Science} }","short":"C. Fischer, H. Wehrheim, in: T. Rus (Ed.), Algebraic Methodology and Software Technology. 8th International Conference, {AMAST} 2000, Iowa City, Iowa, USA, May 20-27, 2000, Proceedings, 2000, pp. 469--483.","mla":"Fischer, Clemens, and Heike Wehrheim. “Behavioural Subtyping Relations for Object-Oriented Formalisms.” <i>Algebraic Methodology and Software Technology. 8th International Conference, {AMAST} 2000, Iowa City, Iowa, USA, May 20-27, 2000, Proceedings</i>, edited by Teodor Rus, 2000, pp. 469--483, doi:<a href=\"https://doi.org/10.1007/3-540-45499-3_33\">10.1007/3-540-45499-3_33</a>.","apa":"Fischer, C., &#38; Wehrheim, H. (2000). Behavioural Subtyping Relations for Object-Oriented Formalisms. In T. Rus (Ed.), <i>Algebraic Methodology and Software Technology. 8th International Conference, {AMAST} 2000, Iowa City, Iowa, USA, May 20-27, 2000, Proceedings</i> (pp. 469--483). <a href=\"https://doi.org/10.1007/3-540-45499-3_33\">https://doi.org/10.1007/3-540-45499-3_33</a>","ama":"Fischer C, Wehrheim H. Behavioural Subtyping Relations for Object-Oriented Formalisms. In: Rus T, ed. <i>Algebraic Methodology and Software Technology. 8th International Conference, {AMAST} 2000, Iowa City, Iowa, USA, May 20-27, 2000, Proceedings</i>. Lecture Notes in Computer Science. ; 2000:469--483. doi:<a href=\"https://doi.org/10.1007/3-540-45499-3_33\">10.1007/3-540-45499-3_33</a>","chicago":"Fischer, Clemens, and Heike Wehrheim. “Behavioural Subtyping Relations for Object-Oriented Formalisms.” In <i>Algebraic Methodology and Software Technology. 8th International Conference, {AMAST} 2000, Iowa City, Iowa, USA, May 20-27, 2000, Proceedings</i>, edited by Teodor Rus, 469--483. Lecture Notes in Computer Science, 2000. <a href=\"https://doi.org/10.1007/3-540-45499-3_33\">https://doi.org/10.1007/3-540-45499-3_33</a>.","ieee":"C. Fischer and H. Wehrheim, “Behavioural Subtyping Relations for Object-Oriented Formalisms,” in <i>Algebraic Methodology and Software Technology. 8th International Conference, {AMAST} 2000, Iowa City, Iowa, USA, May 20-27, 2000, Proceedings</i>, 2000, pp. 469--483."},"year":"2000"}]