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