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