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