[{"title":"Checking Consistency in {UML} Diagramms: Classes and State Machines","doi":"10.1007/978-3-540-39958-2_16","date_updated":"2022-01-06T06:59:06Z","author":[{"full_name":"Rasch, Holger","last_name":"Rasch","first_name":"Holger"},{"id":"573","full_name":"Wehrheim, Heike","last_name":"Wehrheim","first_name":"Heike"}],"date_created":"2018-06-14T06:53:24Z","year":"2003","page":"229--243","citation":{"ama":"Rasch H, Wehrheim H. Checking Consistency in {UML} Diagramms: Classes and State Machines. In: Najm E, Nestmann U, Stevens P, eds. <i>Formal Methods for Open Object-Based Distributed Systems, 6th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2003, Paris, France, November 19.21, 2003, Proceedings</i>. Lecture Notes in Computer Science. ; 2003:229--243. doi:<a href=\"https://doi.org/10.1007/978-3-540-39958-2_16\">10.1007/978-3-540-39958-2_16</a>","chicago":"Rasch, Holger, and Heike Wehrheim. “Checking Consistency in {UML} Diagramms: Classes and State Machines.” In <i>Formal Methods for Open Object-Based Distributed Systems, 6th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2003, Paris, France, November 19.21, 2003, Proceedings</i>, edited by Elie Najm, Uwe Nestmann, and Perdita Stevens, 229--243. Lecture Notes in Computer Science, 2003. <a href=\"https://doi.org/10.1007/978-3-540-39958-2_16\">https://doi.org/10.1007/978-3-540-39958-2_16</a>.","ieee":"H. Rasch and H. Wehrheim, “Checking Consistency in {UML} Diagramms: Classes and State Machines,” in <i>Formal Methods for Open Object-Based Distributed Systems, 6th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2003, Paris, France, November 19.21, 2003, Proceedings</i>, 2003, pp. 229--243.","apa":"Rasch, H., &#38; Wehrheim, H. (2003). Checking Consistency in {UML} Diagramms: Classes and State Machines. In E. Najm, U. Nestmann, &#38; P. Stevens (Eds.), <i>Formal Methods for Open Object-Based Distributed Systems, 6th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2003, Paris, France, November 19.21, 2003, Proceedings</i> (pp. 229--243). <a href=\"https://doi.org/10.1007/978-3-540-39958-2_16\">https://doi.org/10.1007/978-3-540-39958-2_16</a>","short":"H. Rasch, H. Wehrheim, in: E. Najm, U. Nestmann, P. Stevens (Eds.), Formal Methods for Open Object-Based Distributed Systems, 6th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2003, Paris, France, November 19.21, 2003, Proceedings, 2003, pp. 229--243.","mla":"Rasch, Holger, and Heike Wehrheim. “Checking Consistency in {UML} Diagramms: Classes and State Machines.” <i>Formal Methods for Open Object-Based Distributed Systems, 6th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2003, Paris, France, November 19.21, 2003, Proceedings</i>, edited by Elie Najm et al., 2003, pp. 229--243, doi:<a href=\"https://doi.org/10.1007/978-3-540-39958-2_16\">10.1007/978-3-540-39958-2_16</a>.","bibtex":"@inproceedings{Rasch_Wehrheim_2003, series={Lecture Notes in Computer Science}, title={Checking Consistency in {UML} Diagramms: Classes and State Machines}, DOI={<a href=\"https://doi.org/10.1007/978-3-540-39958-2_16\">10.1007/978-3-540-39958-2_16</a>}, booktitle={Formal Methods for Open Object-Based Distributed Systems, 6th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2003, Paris, France, November 19.21, 2003, Proceedings}, author={Rasch, Holger and Wehrheim, Heike}, editor={Najm, Elie and Nestmann, Uwe and Stevens, PerditaEditors}, year={2003}, pages={229--243}, collection={Lecture Notes in Computer Science} }"},"_id":"3239","department":[{"_id":"77"}],"series_title":"Lecture Notes in Computer Science","user_id":"29719","editor":[{"first_name":"Elie","full_name":"Najm, Elie","last_name":"Najm"},{"first_name":"Uwe","last_name":"Nestmann","full_name":"Nestmann, Uwe"},{"first_name":"Perdita","full_name":"Stevens, Perdita","last_name":"Stevens"}],"status":"public","publication":"Formal Methods for Open Object-Based Distributed Systems, 6th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2003, Paris, France, November 19.21, 2003, Proceedings","type":"conference"},{"author":[{"first_name":"John","full_name":"Derrick, John","last_name":"Derrick"},{"first_name":"Heike","last_name":"Wehrheim","full_name":"Wehrheim, Heike","id":"573"}],"date_created":"2018-06-14T06:54:54Z","date_updated":"2022-01-06T06:59:07Z","doi":"10.1007/3-540-44880-2_10","title":"Using Coupled Simulations in Non-atomic Refinement","citation":{"short":"J. Derrick, H. Wehrheim, in: D. Bert, J. P. Bowen, S. King, M. A. Wald{\\’{e}}n (Eds.), {ZB} 2003: Formal Specification and Development in {Z} and B, Third International Conference of {B} and {Z} Users, Turku, Finland, June 4-6, 2003, Proceedings, 2003, pp. 127--147.","mla":"Derrick, John, and Heike Wehrheim. “Using Coupled Simulations in Non-Atomic Refinement.” <i>{ZB} 2003: Formal Specification and Development in {Z} and B, Third International Conference of {B} and {Z} Users, Turku, Finland, June 4-6, 2003, Proceedings</i>, edited by Didier Bert et al., 2003, pp. 127--147, doi:<a href=\"https://doi.org/10.1007/3-540-44880-2_10\">10.1007/3-540-44880-2_10</a>.","bibtex":"@inproceedings{Derrick_Wehrheim_2003, series={Lecture Notes in Computer Science}, title={Using Coupled Simulations in Non-atomic Refinement}, DOI={<a href=\"https://doi.org/10.1007/3-540-44880-2_10\">10.1007/3-540-44880-2_10</a>}, booktitle={{ZB} 2003: Formal Specification and Development in {Z} and B, Third International Conference of {B} and {Z} Users, Turku, Finland, June 4-6, 2003, Proceedings}, author={Derrick, John and Wehrheim, Heike}, editor={Bert, Didier and P. Bowen, Jonathan and King, Steve and A. Wald{\\’{e}}n, MarinaEditors}, year={2003}, pages={127--147}, collection={Lecture Notes in Computer Science} }","apa":"Derrick, J., &#38; Wehrheim, H. (2003). Using Coupled Simulations in Non-atomic Refinement. In D. Bert, J. P. Bowen, S. King, &#38; M. A. Wald{\\’{e}}n (Eds.), <i>{ZB} 2003: Formal Specification and Development in {Z} and B, Third International Conference of {B} and {Z} Users, Turku, Finland, June 4-6, 2003, Proceedings</i> (pp. 127--147). <a href=\"https://doi.org/10.1007/3-540-44880-2_10\">https://doi.org/10.1007/3-540-44880-2_10</a>","chicago":"Derrick, John, and Heike Wehrheim. “Using Coupled Simulations in Non-Atomic Refinement.” In <i>{ZB} 2003: Formal Specification and Development in {Z} and B, Third International Conference of {B} and {Z} Users, Turku, Finland, June 4-6, 2003, Proceedings</i>, edited by Didier Bert, Jonathan P. Bowen, Steve King, and Marina A. Wald{\\’{e}}n, 127--147. Lecture Notes in Computer Science, 2003. <a href=\"https://doi.org/10.1007/3-540-44880-2_10\">https://doi.org/10.1007/3-540-44880-2_10</a>.","ieee":"J. Derrick and H. Wehrheim, “Using Coupled Simulations in Non-atomic Refinement,” in <i>{ZB} 2003: Formal Specification and Development in {Z} and B, Third International Conference of {B} and {Z} Users, Turku, Finland, June 4-6, 2003, Proceedings</i>, 2003, pp. 127--147.","ama":"Derrick J, Wehrheim H. Using Coupled Simulations in Non-atomic Refinement. In: Bert D, P. Bowen J, King S, A. Wald{\\’{e}}n M, eds. <i>{ZB} 2003: Formal Specification and Development in {Z} and B, Third International Conference of {B} and {Z} Users, Turku, Finland, June 4-6, 2003, Proceedings</i>. Lecture Notes in Computer Science. ; 2003:127--147. doi:<a href=\"https://doi.org/10.1007/3-540-44880-2_10\">10.1007/3-540-44880-2_10</a>"},"page":"127--147","year":"2003","series_title":"Lecture Notes in Computer Science","user_id":"29719","department":[{"_id":"77"}],"_id":"3240","type":"conference","publication":"{ZB} 2003: Formal Specification and Development in {Z} and B, Third International Conference of {B} and {Z} Users, Turku, Finland, June 4-6, 2003, Proceedings","status":"public","editor":[{"last_name":"Bert","full_name":"Bert, Didier","first_name":"Didier"},{"last_name":"P. Bowen","full_name":"P. Bowen, Jonathan","first_name":"Jonathan"},{"full_name":"King, Steve","last_name":"King","first_name":"Steve"},{"first_name":"Marina","full_name":"A. Wald{\\'{e}}n, Marina","last_name":"A. Wald{\\'{e}}n"}]},{"_id":"3241","department":[{"_id":"77"}],"user_id":"29719","status":"public","publication":"Nord. J. Comput.","type":"journal_article","title":"Relating State-based and Behaviour-oriented Subtyping","date_updated":"2022-01-06T06:59:07Z","date_created":"2018-06-14T06:56:20Z","author":[{"id":"573","full_name":"Wehrheim, Heike","last_name":"Wehrheim","first_name":"Heike"}],"year":"2002","page":"405--435","citation":{"chicago":"Wehrheim, Heike. “Relating State-Based and Behaviour-Oriented Subtyping.” <i>Nord. J. Comput.</i>, no. 4 (2002): 405--435.","ieee":"H. Wehrheim, “Relating State-based and Behaviour-oriented Subtyping,” <i>Nord. J. Comput.</i>, no. 4, pp. 405--435, 2002.","ama":"Wehrheim H. Relating State-based and Behaviour-oriented Subtyping. <i>Nord J Comput</i>. 2002;(4):405--435.","apa":"Wehrheim, H. (2002). Relating State-based and Behaviour-oriented Subtyping. <i>Nord. J. Comput.</i>, (4), 405--435.","mla":"Wehrheim, Heike. “Relating State-Based and Behaviour-Oriented Subtyping.” <i>Nord. J. Comput.</i>, no. 4, 2002, pp. 405--435.","bibtex":"@article{Wehrheim_2002, title={Relating State-based and Behaviour-oriented Subtyping}, number={4}, journal={Nord. J. Comput.}, author={Wehrheim, Heike}, year={2002}, pages={405--435} }","short":"H. Wehrheim, Nord. J. Comput. (2002) 405--435."},"issue":"4"},{"editor":[{"first_name":"Frank","full_name":"S. de Boer, Frank","last_name":"S. de Boer"},{"full_name":"M. Bonsangue, Marcello","last_name":"M. Bonsangue","first_name":"Marcello"},{"first_name":"Susanne","last_name":"Graf","full_name":"Graf, Susanne"},{"first_name":"Willem","full_name":"P. de Roever, Willem","last_name":"P. de Roever"}],"status":"public","publication":"Formal Methods for Components and Objects, First International Symposium, {FMCO} 2002, Leiden, The Netherlands, November 5-8, 2002, Revised Lectures","type":"conference","_id":"3242","department":[{"_id":"77"}],"user_id":"29719","series_title":"Lecture Notes in Computer Science","year":"2002","page":"361--379","citation":{"chicago":"Olderog, Ernst-Rüdiger, and Heike Wehrheim. “Specification and Inheritance in {CSP-OZ}.” In <i>Formal Methods for Components and Objects, First International Symposium, {FMCO} 2002, Leiden, The Netherlands, November 5-8, 2002, Revised Lectures</i>, edited by Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, and Willem P. de Roever, 361--379. Lecture Notes in Computer Science, 2002. <a href=\"https://doi.org/10.1007/978-3-540-39656-7_15\">https://doi.org/10.1007/978-3-540-39656-7_15</a>.","ieee":"E.-R. Olderog and H. Wehrheim, “Specification and Inheritance in {CSP-OZ},” in <i>Formal Methods for Components and Objects, First International Symposium, {FMCO} 2002, Leiden, The Netherlands, November 5-8, 2002, Revised Lectures</i>, 2002, pp. 361--379.","ama":"Olderog E-R, Wehrheim H. Specification and Inheritance in {CSP-OZ}. In: S. de Boer F, M. Bonsangue M, Graf S, P. de Roever W, eds. <i>Formal Methods for Components and Objects, First International Symposium, {FMCO} 2002, Leiden, The Netherlands, November 5-8, 2002, Revised Lectures</i>. Lecture Notes in Computer Science. ; 2002:361--379. doi:<a href=\"https://doi.org/10.1007/978-3-540-39656-7_15\">10.1007/978-3-540-39656-7_15</a>","apa":"Olderog, E.-R., &#38; Wehrheim, H. (2002). Specification and Inheritance in {CSP-OZ}. In F. S. de Boer, M. M. Bonsangue, S. Graf, &#38; W. P. de Roever (Eds.), <i>Formal Methods for Components and Objects, First International Symposium, {FMCO} 2002, Leiden, The Netherlands, November 5-8, 2002, Revised Lectures</i> (pp. 361--379). <a href=\"https://doi.org/10.1007/978-3-540-39656-7_15\">https://doi.org/10.1007/978-3-540-39656-7_15</a>","mla":"Olderog, Ernst-Rüdiger, and Heike Wehrheim. “Specification and Inheritance in {CSP-OZ}.” <i>Formal Methods for Components and Objects, First International Symposium, {FMCO} 2002, Leiden, The Netherlands, November 5-8, 2002, Revised Lectures</i>, edited by Frank S. de Boer et al., 2002, pp. 361--379, doi:<a href=\"https://doi.org/10.1007/978-3-540-39656-7_15\">10.1007/978-3-540-39656-7_15</a>.","bibtex":"@inproceedings{Olderog_Wehrheim_2002, series={Lecture Notes in Computer Science}, title={Specification and Inheritance in {CSP-OZ}}, DOI={<a href=\"https://doi.org/10.1007/978-3-540-39656-7_15\">10.1007/978-3-540-39656-7_15</a>}, booktitle={Formal Methods for Components and Objects, First International Symposium, {FMCO} 2002, Leiden, The Netherlands, November 5-8, 2002, Revised Lectures}, author={Olderog, Ernst-Rüdiger and Wehrheim, Heike}, editor={S. de Boer, Frank and M. Bonsangue, Marcello and Graf, Susanne and P. de Roever, WillemEditors}, year={2002}, pages={361--379}, collection={Lecture Notes in Computer Science} }","short":"E.-R. Olderog, H. Wehrheim, in: F. S. de Boer, M. M. Bonsangue, S. Graf, W. P. de Roever (Eds.), Formal Methods for Components and Objects, First International Symposium, {FMCO} 2002, Leiden, The Netherlands, November 5-8, 2002, Revised Lectures, 2002, pp. 361--379."},"title":"Specification and Inheritance in {CSP-OZ}","doi":"10.1007/978-3-540-39656-7_15","date_updated":"2022-01-06T06:59:07Z","author":[{"full_name":"Olderog, Ernst-Rüdiger","last_name":"Olderog","first_name":"Ernst-Rüdiger"},{"first_name":"Heike","id":"573","full_name":"Wehrheim, Heike","last_name":"Wehrheim"}],"date_created":"2018-06-14T07:10:28Z"},{"title":"Checking Behavioural Subtypes via Refinement","date_updated":"2022-01-06T06:59:07Z","author":[{"first_name":"Heike","last_name":"Wehrheim","full_name":"Wehrheim, Heike","id":"573"}],"date_created":"2018-06-14T07:11:33Z","year":"2002","page":"79--93","citation":{"short":"H. Wehrheim, in: B. Jacobs, A. Rensink (Eds.), Formal Methods for Open Object-Based Distributed Systems V, {IFIP} {TC6/WG6.1} Fifth International Conference on Formal Methods for Open Object-Based Distributed Systems {(FMOODS} 2002), March 20-22, 2002, Enschede, The Netherlands, 2002, pp. 79--93.","bibtex":"@inproceedings{Wehrheim_2002, series={{IFIP} Conference Proceedings}, title={Checking Behavioural Subtypes via Refinement}, booktitle={Formal Methods for Open Object-Based Distributed Systems V, {IFIP} {TC6/WG6.1} Fifth International Conference on Formal Methods for Open Object-Based Distributed Systems {(FMOODS} 2002), March 20-22, 2002, Enschede, The Netherlands}, author={Wehrheim, Heike}, editor={Jacobs, Bart and Rensink, ArendEditors}, year={2002}, pages={79--93}, collection={{IFIP} Conference Proceedings} }","mla":"Wehrheim, Heike. “Checking Behavioural Subtypes via Refinement.” <i>Formal Methods for Open Object-Based Distributed Systems V, {IFIP} {TC6/WG6.1} Fifth International Conference on Formal Methods for Open Object-Based Distributed Systems {(FMOODS} 2002), March 20-22, 2002, Enschede, The Netherlands</i>, edited by Bart Jacobs and Arend Rensink, 2002, pp. 79--93.","apa":"Wehrheim, H. (2002). Checking Behavioural Subtypes via Refinement. In B. Jacobs &#38; A. Rensink (Eds.), <i>Formal Methods for Open Object-Based Distributed Systems V, {IFIP} {TC6/WG6.1} Fifth International Conference on Formal Methods for Open Object-Based Distributed Systems {(FMOODS} 2002), March 20-22, 2002, Enschede, The Netherlands</i> (pp. 79--93).","ama":"Wehrheim H. Checking Behavioural Subtypes via Refinement. In: Jacobs B, Rensink A, eds. <i>Formal Methods for Open Object-Based Distributed Systems V, {IFIP} {TC6/WG6.1} Fifth International Conference on Formal Methods for Open Object-Based Distributed Systems {(FMOODS} 2002), March 20-22, 2002, Enschede, The Netherlands</i>. {IFIP} Conference Proceedings. ; 2002:79--93.","ieee":"H. Wehrheim, “Checking Behavioural Subtypes via Refinement,” in <i>Formal Methods for Open Object-Based Distributed Systems V, {IFIP} {TC6/WG6.1} Fifth International Conference on Formal Methods for Open Object-Based Distributed Systems {(FMOODS} 2002), March 20-22, 2002, Enschede, The Netherlands</i>, 2002, pp. 79--93.","chicago":"Wehrheim, Heike. “Checking Behavioural Subtypes via Refinement.” In <i>Formal Methods for Open Object-Based Distributed Systems V, {IFIP} {TC6/WG6.1} Fifth International Conference on Formal Methods for Open Object-Based Distributed Systems {(FMOODS} 2002), March 20-22, 2002, Enschede, The Netherlands</i>, edited by Bart Jacobs and Arend Rensink, 79--93. {IFIP} Conference Proceedings, 2002."},"_id":"3243","department":[{"_id":"77"}],"user_id":"29719","series_title":"{IFIP} Conference Proceedings","editor":[{"full_name":"Jacobs, Bart","last_name":"Jacobs","first_name":"Bart"},{"first_name":"Arend","last_name":"Rensink","full_name":"Rensink, Arend"}],"status":"public","publication":"Formal Methods for Open Object-Based Distributed Systems V, {IFIP} {TC6/WG6.1} Fifth International Conference on Formal Methods for Open Object-Based Distributed Systems {(FMOODS} 2002), March 20-22, 2002, Enschede, The Netherlands","type":"conference"},{"date_updated":"2022-01-06T06:59:07Z","date_created":"2018-06-14T07:12:39Z","author":[{"first_name":"Arend","last_name":"Rensink","full_name":"Rensink, Arend"},{"full_name":"Wehrheim, Heike","id":"573","last_name":"Wehrheim","first_name":"Heike"}],"title":"Process algebra with action dependencies","doi":"10.1007/s002360100070","issue":"3","year":"2001","citation":{"chicago":"Rensink, Arend, and Heike Wehrheim. “Process Algebra with Action Dependencies.” <i>Acta Inf.</i>, no. 3 (2001): 155--234. <a href=\"https://doi.org/10.1007/s002360100070\">https://doi.org/10.1007/s002360100070</a>.","ieee":"A. Rensink and H. Wehrheim, “Process algebra with action dependencies,” <i>Acta Inf.</i>, no. 3, pp. 155--234, 2001.","ama":"Rensink A, Wehrheim H. Process algebra with action dependencies. <i>Acta Inf</i>. 2001;(3):155--234. doi:<a href=\"https://doi.org/10.1007/s002360100070\">10.1007/s002360100070</a>","short":"A. Rensink, H. Wehrheim, Acta Inf. (2001) 155--234.","bibtex":"@article{Rensink_Wehrheim_2001, title={Process algebra with action dependencies}, DOI={<a href=\"https://doi.org/10.1007/s002360100070\">10.1007/s002360100070</a>}, number={3}, journal={Acta Inf.}, author={Rensink, Arend and Wehrheim, Heike}, year={2001}, pages={155--234} }","mla":"Rensink, Arend, and Heike Wehrheim. “Process Algebra with Action Dependencies.” <i>Acta Inf.</i>, no. 3, 2001, pp. 155--234, doi:<a href=\"https://doi.org/10.1007/s002360100070\">10.1007/s002360100070</a>.","apa":"Rensink, A., &#38; Wehrheim, H. (2001). Process algebra with action dependencies. <i>Acta Inf.</i>, (3), 155--234. <a href=\"https://doi.org/10.1007/s002360100070\">https://doi.org/10.1007/s002360100070</a>"},"page":"155--234","_id":"3244","user_id":"29719","department":[{"_id":"77"}],"type":"journal_article","publication":"Acta Inf.","status":"public"},{"type":"journal_article","publication":"Electr. Notes Theor. Comput. Sci.","status":"public","_id":"3245","user_id":"29719","department":[{"_id":"77"}],"issue":"2","year":"2001","citation":{"mla":"Bartetzko, Detlef, et al. “Jass - Java with Assertions.” <i>Electr. Notes Theor. Comput. Sci.</i>, no. 2, 2001, pp. 103--117, doi:<a href=\"https://doi.org/10.1016/S1571-0661(04)00247-6\">10.1016/S1571-0661(04)00247-6</a>.","bibtex":"@article{Bartetzko_Fischer_Möller_Wehrheim_2001, title={Jass - Java with Assertions}, DOI={<a href=\"https://doi.org/10.1016/S1571-0661(04)00247-6\">10.1016/S1571-0661(04)00247-6</a>}, number={2}, journal={Electr. Notes Theor. Comput. Sci.}, author={Bartetzko, Detlef and Fischer, Clemens and Möller, Michael and Wehrheim, Heike}, year={2001}, pages={103--117} }","short":"D. Bartetzko, C. Fischer, M. Möller, H. Wehrheim, Electr. Notes Theor. Comput. Sci. (2001) 103--117.","apa":"Bartetzko, D., Fischer, C., Möller, M., &#38; Wehrheim, H. (2001). Jass - Java with Assertions. <i>Electr. Notes Theor. Comput. Sci.</i>, (2), 103--117. <a href=\"https://doi.org/10.1016/S1571-0661(04)00247-6\">https://doi.org/10.1016/S1571-0661(04)00247-6</a>","ama":"Bartetzko D, Fischer C, Möller M, Wehrheim H. Jass - Java with Assertions. <i>Electr Notes Theor Comput Sci</i>. 2001;(2):103--117. doi:<a href=\"https://doi.org/10.1016/S1571-0661(04)00247-6\">10.1016/S1571-0661(04)00247-6</a>","ieee":"D. Bartetzko, C. Fischer, M. Möller, and H. Wehrheim, “Jass - Java with Assertions,” <i>Electr. Notes Theor. Comput. Sci.</i>, no. 2, pp. 103--117, 2001.","chicago":"Bartetzko, Detlef, Clemens Fischer, Michael Möller, and Heike Wehrheim. “Jass - Java with Assertions.” <i>Electr. Notes Theor. Comput. Sci.</i>, no. 2 (2001): 103--117. <a href=\"https://doi.org/10.1016/S1571-0661(04)00247-6\">https://doi.org/10.1016/S1571-0661(04)00247-6</a>."},"page":"103--117","date_updated":"2022-01-06T06:59:07Z","date_created":"2018-06-14T07:14:07Z","author":[{"full_name":"Bartetzko, Detlef","last_name":"Bartetzko","first_name":"Detlef"},{"first_name":"Clemens","last_name":"Fischer","full_name":"Fischer, Clemens"},{"first_name":"Michael","last_name":"Möller","full_name":"Möller, Michael"},{"id":"573","full_name":"Wehrheim, Heike","last_name":"Wehrheim","first_name":"Heike"}],"title":"Jass - Java with Assertions","doi":"10.1016/S1571-0661(04)00247-6"},{"_id":"3246","series_title":"Lecture Notes in Computer Science","user_id":"29719","department":[{"_id":"77"}],"type":"conference","publication":"Fundamental Approaches to Software Engineering, 4th International Conference, {FASE} 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, {ETAPS} 2001 Genova, Italy, April 2-6, 2001, Proceedings","editor":[{"last_name":"Hu{\\ss}mann","full_name":"Hu{\\ss}mann, Heinrich","first_name":"Heinrich"}],"status":"public","date_updated":"2022-01-06T06:59:07Z","author":[{"first_name":"Clemens","last_name":"Fischer","full_name":"Fischer, Clemens"},{"full_name":"Olderog, Ernst-Rüdiger","last_name":"Olderog","first_name":"Ernst-Rüdiger"},{"id":"573","full_name":"Wehrheim, Heike","last_name":"Wehrheim","first_name":"Heike"}],"date_created":"2018-06-14T07:15:07Z","title":"A {CSP} View on {UML-RT} Structure Diagrams","doi":"10.1007/3-540-45314-8_8","year":"2001","citation":{"apa":"Fischer, C., Olderog, E.-R., &#38; Wehrheim, H. (2001). A {CSP} View on {UML-RT} Structure Diagrams. In H. Hu{\\ss}mann (Ed.), <i>Fundamental Approaches to Software Engineering, 4th International Conference, {FASE} 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, {ETAPS} 2001 Genova, Italy, April 2-6, 2001, Proceedings</i> (pp. 91--108). <a href=\"https://doi.org/10.1007/3-540-45314-8_8\">https://doi.org/10.1007/3-540-45314-8_8</a>","short":"C. Fischer, E.-R. Olderog, H. Wehrheim, in: H. Hu{\\ss}mann (Ed.), Fundamental Approaches to Software Engineering, 4th International Conference, {FASE} 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, {ETAPS} 2001 Genova, Italy, April 2-6, 2001, Proceedings, 2001, pp. 91--108.","mla":"Fischer, Clemens, et al. “A {CSP} View on {UML-RT} Structure Diagrams.” <i>Fundamental Approaches to Software Engineering, 4th International Conference, {FASE} 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, {ETAPS} 2001 Genova, Italy, April 2-6, 2001, Proceedings</i>, edited by Heinrich Hu{\\ss}mann, 2001, pp. 91--108, doi:<a href=\"https://doi.org/10.1007/3-540-45314-8_8\">10.1007/3-540-45314-8_8</a>.","bibtex":"@inproceedings{Fischer_Olderog_Wehrheim_2001, series={Lecture Notes in Computer Science}, title={A {CSP} View on {UML-RT} Structure Diagrams}, DOI={<a href=\"https://doi.org/10.1007/3-540-45314-8_8\">10.1007/3-540-45314-8_8</a>}, booktitle={Fundamental Approaches to Software Engineering, 4th International Conference, {FASE} 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, {ETAPS} 2001 Genova, Italy, April 2-6, 2001, Proceedings}, author={Fischer, Clemens and Olderog, Ernst-Rüdiger and Wehrheim, Heike}, editor={Hu{\\ss}mann, HeinrichEditor}, year={2001}, pages={91--108}, collection={Lecture Notes in Computer Science} }","ama":"Fischer C, Olderog E-R, Wehrheim H. A {CSP} View on {UML-RT} Structure Diagrams. In: Hu{\\ss}mann H, ed. <i>Fundamental Approaches to Software Engineering, 4th International Conference, {FASE} 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, {ETAPS} 2001 Genova, Italy, April 2-6, 2001, Proceedings</i>. Lecture Notes in Computer Science. ; 2001:91--108. doi:<a href=\"https://doi.org/10.1007/3-540-45314-8_8\">10.1007/3-540-45314-8_8</a>","chicago":"Fischer, Clemens, Ernst-Rüdiger Olderog, and Heike Wehrheim. “A {CSP} View on {UML-RT} Structure Diagrams.” In <i>Fundamental Approaches to Software Engineering, 4th International Conference, {FASE} 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, {ETAPS} 2001 Genova, Italy, April 2-6, 2001, Proceedings</i>, edited by Heinrich Hu{\\ss}mann, 91--108. Lecture Notes in Computer Science, 2001. <a href=\"https://doi.org/10.1007/3-540-45314-8_8\">https://doi.org/10.1007/3-540-45314-8_8</a>.","ieee":"C. Fischer, E.-R. Olderog, and H. Wehrheim, “A {CSP} View on {UML-RT} Structure Diagrams,” in <i>Fundamental Approaches to Software Engineering, 4th International Conference, {FASE} 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, {ETAPS} 2001 Genova, Italy, April 2-6, 2001, Proceedings</i>, 2001, pp. 91--108."},"page":"91--108"},{"publication":"Bulletin of the {EATCS}","type":"journal_article","status":"public","department":[{"_id":"77"}],"user_id":"29719","_id":"3247","page":"92--101","citation":{"apa":"Fischer, C., &#38; Wehrheim, H. (2000). Failure-Divergence Semantics as a Formal Basis for an Object-Oriented Integrated Formal Method. <i>Bulletin of the {EATCS}</i>, 92--101.","short":"C. Fischer, H. Wehrheim, Bulletin of the {EATCS} (2000) 92--101.","mla":"Fischer, Clemens, and Heike Wehrheim. “Failure-Divergence Semantics as a Formal Basis for an Object-Oriented Integrated Formal Method.” <i>Bulletin of the {EATCS}</i>, 2000, pp. 92--101.","bibtex":"@article{Fischer_Wehrheim_2000, title={Failure-Divergence Semantics as a Formal Basis for an Object-Oriented Integrated Formal Method}, journal={Bulletin of the {EATCS}}, author={Fischer, Clemens and Wehrheim, Heike}, year={2000}, pages={92--101} }","ama":"Fischer C, Wehrheim H. Failure-Divergence Semantics as a Formal Basis for an Object-Oriented Integrated Formal Method. <i>Bulletin of the {EATCS}</i>. 2000:92--101.","ieee":"C. Fischer and H. Wehrheim, “Failure-Divergence Semantics as a Formal Basis for an Object-Oriented Integrated Formal Method,” <i>Bulletin of the {EATCS}</i>, pp. 92--101, 2000.","chicago":"Fischer, Clemens, and Heike Wehrheim. “Failure-Divergence Semantics as a Formal Basis for an Object-Oriented Integrated Formal Method.” <i>Bulletin of the {EATCS}</i>, 2000, 92--101."},"year":"2000","date_created":"2018-06-14T07:17:49Z","author":[{"last_name":"Fischer","full_name":"Fischer, Clemens","first_name":"Clemens"},{"last_name":"Wehrheim","full_name":"Wehrheim, Heike","id":"573","first_name":"Heike"}],"date_updated":"2022-01-06T06:59:07Z","title":"Failure-Divergence Semantics as a Formal Basis for an Object-Oriented Integrated Formal Method"},{"date_created":"2018-06-14T07:19:50Z","author":[{"first_name":"Heike","id":"573","full_name":"Wehrheim, Heike","last_name":"Wehrheim"}],"date_updated":"2022-01-06T06:59:07Z","doi":"10.1007/s001650070026","title":"Data Abstraction Techniques in the Validation of {CSP-OZ} Specifications","issue":"3","page":"147--164","citation":{"apa":"Wehrheim, H. (2000). Data Abstraction Techniques in the Validation of {CSP-OZ} Specifications. <i>Formal Asp. Comput.</i>, (3), 147--164. <a href=\"https://doi.org/10.1007/s001650070026\">https://doi.org/10.1007/s001650070026</a>","bibtex":"@article{Wehrheim_2000, title={Data Abstraction Techniques in the Validation of {CSP-OZ} Specifications}, DOI={<a href=\"https://doi.org/10.1007/s001650070026\">10.1007/s001650070026</a>}, number={3}, journal={Formal Asp. Comput.}, author={Wehrheim, Heike}, year={2000}, pages={147--164} }","short":"H. Wehrheim, Formal Asp. Comput. (2000) 147--164.","mla":"Wehrheim, Heike. “Data Abstraction Techniques in the Validation of {CSP-OZ} Specifications.” <i>Formal Asp. Comput.</i>, no. 3, 2000, pp. 147--164, doi:<a href=\"https://doi.org/10.1007/s001650070026\">10.1007/s001650070026</a>.","ieee":"H. Wehrheim, “Data Abstraction Techniques in the Validation of {CSP-OZ} Specifications,” <i>Formal Asp. Comput.</i>, no. 3, pp. 147--164, 2000.","chicago":"Wehrheim, Heike. “Data Abstraction Techniques in the Validation of {CSP-OZ} Specifications.” <i>Formal Asp. Comput.</i>, no. 3 (2000): 147--164. <a href=\"https://doi.org/10.1007/s001650070026\">https://doi.org/10.1007/s001650070026</a>.","ama":"Wehrheim H. Data Abstraction Techniques in the Validation of {CSP-OZ} Specifications. <i>Formal Asp Comput</i>. 2000;(3):147--164. doi:<a href=\"https://doi.org/10.1007/s001650070026\">10.1007/s001650070026</a>"},"year":"2000","department":[{"_id":"77"}],"user_id":"29719","_id":"3248","publication":"Formal Asp. Comput.","type":"journal_article","status":"public"},{"status":"public","editor":[{"first_name":"Teodor","full_name":"Rus, Teodor","last_name":"Rus"}],"type":"conference","publication":"Algebraic Methodology and Software Technology. 8th International Conference, {AMAST} 2000, Iowa City, Iowa, USA, May 20-27, 2000, Proceedings","user_id":"29719","series_title":"Lecture Notes in Computer Science","department":[{"_id":"77"}],"_id":"3249","citation":{"short":"C. Fischer, H. Wehrheim, in: T. Rus (Ed.), Algebraic Methodology and Software Technology. 8th International Conference, {AMAST} 2000, Iowa City, Iowa, USA, May 20-27, 2000, Proceedings, 2000, pp. 469--483.","bibtex":"@inproceedings{Fischer_Wehrheim_2000, series={Lecture Notes in Computer Science}, title={Behavioural Subtyping Relations for Object-Oriented Formalisms}, DOI={<a href=\"https://doi.org/10.1007/3-540-45499-3_33\">10.1007/3-540-45499-3_33</a>}, booktitle={Algebraic Methodology and Software Technology. 8th International Conference, {AMAST} 2000, Iowa City, Iowa, USA, May 20-27, 2000, Proceedings}, author={Fischer, Clemens and Wehrheim, Heike}, editor={Rus, TeodorEditor}, year={2000}, pages={469--483}, collection={Lecture Notes in Computer Science} }","mla":"Fischer, Clemens, and Heike Wehrheim. “Behavioural Subtyping Relations for Object-Oriented Formalisms.” <i>Algebraic Methodology and Software Technology. 8th International Conference, {AMAST} 2000, Iowa City, Iowa, USA, May 20-27, 2000, Proceedings</i>, edited by Teodor Rus, 2000, pp. 469--483, doi:<a href=\"https://doi.org/10.1007/3-540-45499-3_33\">10.1007/3-540-45499-3_33</a>.","apa":"Fischer, C., &#38; Wehrheim, H. (2000). Behavioural Subtyping Relations for Object-Oriented Formalisms. In T. Rus (Ed.), <i>Algebraic Methodology and Software Technology. 8th International Conference, {AMAST} 2000, Iowa City, Iowa, USA, May 20-27, 2000, Proceedings</i> (pp. 469--483). <a href=\"https://doi.org/10.1007/3-540-45499-3_33\">https://doi.org/10.1007/3-540-45499-3_33</a>","chicago":"Fischer, Clemens, and Heike Wehrheim. “Behavioural Subtyping Relations for Object-Oriented Formalisms.” In <i>Algebraic Methodology and Software Technology. 8th International Conference, {AMAST} 2000, Iowa City, Iowa, USA, May 20-27, 2000, Proceedings</i>, edited by Teodor Rus, 469--483. Lecture Notes in Computer Science, 2000. <a href=\"https://doi.org/10.1007/3-540-45499-3_33\">https://doi.org/10.1007/3-540-45499-3_33</a>.","ieee":"C. Fischer and H. Wehrheim, “Behavioural Subtyping Relations for Object-Oriented Formalisms,” in <i>Algebraic Methodology and Software Technology. 8th International Conference, {AMAST} 2000, Iowa City, Iowa, USA, May 20-27, 2000, Proceedings</i>, 2000, pp. 469--483.","ama":"Fischer C, Wehrheim H. Behavioural Subtyping Relations for Object-Oriented Formalisms. In: Rus T, ed. <i>Algebraic Methodology and Software Technology. 8th International Conference, {AMAST} 2000, Iowa City, Iowa, USA, May 20-27, 2000, Proceedings</i>. Lecture Notes in Computer Science. ; 2000:469--483. doi:<a href=\"https://doi.org/10.1007/3-540-45499-3_33\">10.1007/3-540-45499-3_33</a>"},"page":"469--483","year":"2000","doi":"10.1007/3-540-45499-3_33","title":"Behavioural Subtyping Relations for Object-Oriented Formalisms","date_created":"2018-06-14T07:20:56Z","author":[{"full_name":"Fischer, Clemens","last_name":"Fischer","first_name":"Clemens"},{"id":"573","full_name":"Wehrheim, Heike","last_name":"Wehrheim","first_name":"Heike"}],"date_updated":"2022-01-06T06:59:07Z"},{"type":"conference","publication":"Fundamental Approaches to Software Engineering, Third Internationsl Conference, {FASE} 2000, Held as Part of the European Joint Conferences on the Theory and Practice of Software, {ETAPS} 2000, Berlin, Germany, March 25 - April 2, 2000, Proceedings","status":"public","editor":[{"full_name":"S. E. Maibaum, T.","last_name":"S. E. Maibaum","first_name":"T."}],"series_title":"Lecture Notes in Computer Science","user_id":"29719","department":[{"_id":"77"}],"_id":"3250","citation":{"apa":"Wehrheim, H. (2000). Specification of an Automatic Manufacturing System: {A} Case Study in Using Integrated Formal Methods. In T. S. E. Maibaum (Ed.), <i>Fundamental Approaches to Software Engineering, Third Internationsl Conference, {FASE} 2000, Held as Part of the European Joint Conferences on the Theory and Practice of Software, {ETAPS} 2000, Berlin, Germany, March 25 - April 2, 2000, Proceedings</i> (pp. 334--348). <a href=\"https://doi.org/10.1007/3-540-46428-X_23\">https://doi.org/10.1007/3-540-46428-X_23</a>","mla":"Wehrheim, Heike. “Specification of an Automatic Manufacturing System: {A} Case Study in Using Integrated Formal Methods.” <i>Fundamental Approaches to Software Engineering, Third Internationsl Conference, {FASE} 2000, Held as Part of the European Joint Conferences on the Theory and Practice of Software, {ETAPS} 2000, Berlin, Germany, March 25 - April 2, 2000, Proceedings</i>, edited by T. S. E. Maibaum, 2000, pp. 334--348, doi:<a href=\"https://doi.org/10.1007/3-540-46428-X_23\">10.1007/3-540-46428-X_23</a>.","bibtex":"@inproceedings{Wehrheim_2000, series={Lecture Notes in Computer Science}, title={Specification of an Automatic Manufacturing System: {A} Case Study in Using Integrated Formal Methods}, DOI={<a href=\"https://doi.org/10.1007/3-540-46428-X_23\">10.1007/3-540-46428-X_23</a>}, booktitle={Fundamental Approaches to Software Engineering, Third Internationsl Conference, {FASE} 2000, Held as Part of the European Joint Conferences on the Theory and Practice of Software, {ETAPS} 2000, Berlin, Germany, March 25 - April 2, 2000, Proceedings}, author={Wehrheim, Heike}, editor={S. E. Maibaum, T.Editor}, year={2000}, pages={334--348}, collection={Lecture Notes in Computer Science} }","short":"H. Wehrheim, in: T. S. E. Maibaum (Ed.), Fundamental Approaches to Software Engineering, Third Internationsl Conference, {FASE} 2000, Held as Part of the European Joint Conferences on the Theory and Practice of Software, {ETAPS} 2000, Berlin, Germany, March 25 - April 2, 2000, Proceedings, 2000, pp. 334--348.","ama":"Wehrheim H. Specification of an Automatic Manufacturing System: {A} Case Study in Using Integrated Formal Methods. In: S. E. Maibaum T, ed. <i>Fundamental Approaches to Software Engineering, Third Internationsl Conference, {FASE} 2000, Held as Part of the European Joint Conferences on the Theory and Practice of Software, {ETAPS} 2000, Berlin, Germany, March 25 - April 2, 2000, Proceedings</i>. Lecture Notes in Computer Science. ; 2000:334--348. doi:<a href=\"https://doi.org/10.1007/3-540-46428-X_23\">10.1007/3-540-46428-X_23</a>","ieee":"H. Wehrheim, “Specification of an Automatic Manufacturing System: {A} Case Study in Using Integrated Formal Methods,” in <i>Fundamental Approaches to Software Engineering, Third Internationsl Conference, {FASE} 2000, Held as Part of the European Joint Conferences on the Theory and Practice of Software, {ETAPS} 2000, Berlin, Germany, March 25 - April 2, 2000, Proceedings</i>, 2000, pp. 334--348.","chicago":"Wehrheim, Heike. “Specification of an Automatic Manufacturing System: {A} Case Study in Using Integrated Formal Methods.” In <i>Fundamental Approaches to Software Engineering, Third Internationsl Conference, {FASE} 2000, Held as Part of the European Joint Conferences on the Theory and Practice of Software, {ETAPS} 2000, Berlin, Germany, March 25 - April 2, 2000, Proceedings</i>, edited by T. S. E. Maibaum, 334--348. Lecture Notes in Computer Science, 2000. <a href=\"https://doi.org/10.1007/3-540-46428-X_23\">https://doi.org/10.1007/3-540-46428-X_23</a>."},"page":"334--348","year":"2000","author":[{"first_name":"Heike","last_name":"Wehrheim","full_name":"Wehrheim, Heike","id":"573"}],"date_created":"2018-06-14T07:22:20Z","date_updated":"2022-01-06T06:59:07Z","doi":"10.1007/3-540-46428-X_23","title":"Specification of an Automatic Manufacturing System: {A} Case Study in Using Integrated Formal Methods"},{"user_id":"29719","series_title":"{IFIP} Conference Proceedings","department":[{"_id":"77"}],"_id":"3251","status":"public","editor":[{"last_name":"F. Smith","full_name":"F. Smith, Scott","first_name":"Scott"},{"first_name":"Carolyn","last_name":"L. Talcott","full_name":"L. Talcott, Carolyn"}],"type":"conference","publication":"Formal Methods for Open Object-Based Distributed Systems IV, {IFIF} {TC6/WG6.1} Fourth International Conference on Formal Methods for Open Object-Based Distributed Systems {(FMOODS} 2000), September 6-8, 2000, Stanford, California, {USA}","doi":"10.1007/978-0-387-35520-7_11","title":"Behavioural Subtyping and Property Preservation","date_created":"2018-06-14T07:25:14Z","author":[{"first_name":"Heike","id":"573","full_name":"Wehrheim, Heike","last_name":"Wehrheim"}],"date_updated":"2022-01-06T06:59:07Z","citation":{"apa":"Wehrheim, H. (2000). Behavioural Subtyping and Property Preservation. In S. F. Smith &#38; C. L. Talcott (Eds.), <i>Formal Methods for Open Object-Based Distributed Systems IV, {IFIF} {TC6/WG6.1} Fourth International Conference on Formal Methods for Open Object-Based Distributed Systems {(FMOODS} 2000), September 6-8, 2000, Stanford, California, {USA}</i> (pp. 213--231). <a href=\"https://doi.org/10.1007/978-0-387-35520-7_11\">https://doi.org/10.1007/978-0-387-35520-7_11</a>","bibtex":"@inproceedings{Wehrheim_2000, series={{IFIP} Conference Proceedings}, title={Behavioural Subtyping and Property Preservation}, DOI={<a href=\"https://doi.org/10.1007/978-0-387-35520-7_11\">10.1007/978-0-387-35520-7_11</a>}, booktitle={Formal Methods for Open Object-Based Distributed Systems IV, {IFIF} {TC6/WG6.1} Fourth International Conference on Formal Methods for Open Object-Based Distributed Systems {(FMOODS} 2000), September 6-8, 2000, Stanford, California, {USA}}, author={Wehrheim, Heike}, editor={F. Smith, Scott and L. Talcott, CarolynEditors}, year={2000}, pages={213--231}, collection={{IFIP} Conference Proceedings} }","mla":"Wehrheim, Heike. “Behavioural Subtyping and Property Preservation.” <i>Formal Methods for Open Object-Based Distributed Systems IV, {IFIF} {TC6/WG6.1} Fourth International Conference on Formal Methods for Open Object-Based Distributed Systems {(FMOODS} 2000), September 6-8, 2000, Stanford, California, {USA}</i>, edited by Scott F. Smith and Carolyn L. Talcott, 2000, pp. 213--231, doi:<a href=\"https://doi.org/10.1007/978-0-387-35520-7_11\">10.1007/978-0-387-35520-7_11</a>.","short":"H. Wehrheim, in: S. F. Smith, C. L. Talcott (Eds.), Formal Methods for Open Object-Based Distributed Systems IV, {IFIF} {TC6/WG6.1} Fourth International Conference on Formal Methods for Open Object-Based Distributed Systems {(FMOODS} 2000), September 6-8, 2000, Stanford, California, {USA}, 2000, pp. 213--231.","ama":"Wehrheim H. Behavioural Subtyping and Property Preservation. In: F. Smith S, L. Talcott C, eds. <i>Formal Methods for Open Object-Based Distributed Systems IV, {IFIF} {TC6/WG6.1} Fourth International Conference on Formal Methods for Open Object-Based Distributed Systems {(FMOODS} 2000), September 6-8, 2000, Stanford, California, {USA}</i>. {IFIP} Conference Proceedings. ; 2000:213--231. doi:<a href=\"https://doi.org/10.1007/978-0-387-35520-7_11\">10.1007/978-0-387-35520-7_11</a>","chicago":"Wehrheim, Heike. “Behavioural Subtyping and Property Preservation.” In <i>Formal Methods for Open Object-Based Distributed Systems IV, {IFIF} {TC6/WG6.1} Fourth International Conference on Formal Methods for Open Object-Based Distributed Systems {(FMOODS} 2000), September 6-8, 2000, Stanford, California, {USA}</i>, edited by Scott F. Smith and Carolyn L. Talcott, 213--231. {IFIP} Conference Proceedings, 2000. <a href=\"https://doi.org/10.1007/978-0-387-35520-7_11\">https://doi.org/10.1007/978-0-387-35520-7_11</a>.","ieee":"H. Wehrheim, “Behavioural Subtyping and Property Preservation,” in <i>Formal Methods for Open Object-Based Distributed Systems IV, {IFIF} {TC6/WG6.1} Fourth International Conference on Formal Methods for Open Object-Based Distributed Systems {(FMOODS} 2000), September 6-8, 2000, Stanford, California, {USA}</i>, 2000, pp. 213--231."},"page":"213--231","year":"2000"},{"doi":"10.1016/S1571-0661(05)80296-8","title":"Partial order reductions for failures refinement","date_created":"2018-06-14T07:26:58Z","author":[{"last_name":"Wehrheim","full_name":"Wehrheim, Heike","id":"573","first_name":"Heike"}],"date_updated":"2022-01-06T06:59:07Z","citation":{"chicago":"Wehrheim, Heike. “Partial Order Reductions for Failures Refinement.” <i>Electr. Notes Theor. Comput. Sci.</i>, 1999, 71--84. <a href=\"https://doi.org/10.1016/S1571-0661(05)80296-8\">https://doi.org/10.1016/S1571-0661(05)80296-8</a>.","ieee":"H. Wehrheim, “Partial order reductions for failures refinement,” <i>Electr. Notes Theor. Comput. Sci.</i>, pp. 71--84, 1999.","ama":"Wehrheim H. Partial order reductions for failures refinement. <i>Electr Notes Theor Comput Sci</i>. 1999:71--84. doi:<a href=\"https://doi.org/10.1016/S1571-0661(05)80296-8\">10.1016/S1571-0661(05)80296-8</a>","bibtex":"@article{Wehrheim_1999, title={Partial order reductions for failures refinement}, DOI={<a href=\"https://doi.org/10.1016/S1571-0661(05)80296-8\">10.1016/S1571-0661(05)80296-8</a>}, journal={Electr. Notes Theor. Comput. Sci.}, author={Wehrheim, Heike}, year={1999}, pages={71--84} }","mla":"Wehrheim, Heike. “Partial Order Reductions for Failures Refinement.” <i>Electr. Notes Theor. Comput. Sci.</i>, 1999, pp. 71--84, doi:<a href=\"https://doi.org/10.1016/S1571-0661(05)80296-8\">10.1016/S1571-0661(05)80296-8</a>.","short":"H. Wehrheim, Electr. Notes Theor. Comput. Sci. (1999) 71--84.","apa":"Wehrheim, H. (1999). Partial order reductions for failures refinement. <i>Electr. Notes Theor. Comput. Sci.</i>, 71--84. <a href=\"https://doi.org/10.1016/S1571-0661(05)80296-8\">https://doi.org/10.1016/S1571-0661(05)80296-8</a>"},"page":"71--84","year":"1999","user_id":"29719","department":[{"_id":"77"}],"_id":"3252","status":"public","type":"journal_article","publication":"Electr. Notes Theor. Comput. Sci."},{"type":"conference","publication":"FM'99 - Formal Methods, World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999, Proceedings, Volume {II}","status":"public","editor":[{"first_name":"Jeannette","full_name":"M. Wing, Jeannette","last_name":"M. Wing"},{"last_name":"Woodcock","full_name":"Woodcock, Jim","first_name":"Jim"},{"first_name":"Jim","last_name":"Davies","full_name":"Davies, Jim"}],"user_id":"29719","series_title":"Lecture Notes in Computer Science","department":[{"_id":"77"}],"_id":"3253","citation":{"short":"H. Wehrheim, in: J. M. Wing, J. Woodcock, J. Davies (Eds.), FM’99 - Formal Methods, World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999, Proceedings, Volume {II}, 1999, pp. 1028--1047.","mla":"Wehrheim, Heike. “Data Abstraction for {CSP-OZ}.” <i>FM’99 - Formal Methods, World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999, Proceedings, Volume {II}</i>, edited by Jeannette M. Wing et al., 1999, pp. 1028--1047, doi:<a href=\"https://doi.org/10.1007/3-540-48118-4_5\">10.1007/3-540-48118-4_5</a>.","bibtex":"@inproceedings{Wehrheim_1999, series={Lecture Notes in Computer Science}, title={Data Abstraction for {CSP-OZ}}, DOI={<a href=\"https://doi.org/10.1007/3-540-48118-4_5\">10.1007/3-540-48118-4_5</a>}, booktitle={FM’99 - Formal Methods, World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999, Proceedings, Volume {II}}, author={Wehrheim, Heike}, editor={M. Wing, Jeannette and Woodcock, Jim and Davies, JimEditors}, year={1999}, pages={1028--1047}, collection={Lecture Notes in Computer Science} }","apa":"Wehrheim, H. (1999). Data Abstraction for {CSP-OZ}. In J. M. Wing, J. Woodcock, &#38; J. Davies (Eds.), <i>FM’99 - Formal Methods, World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999, Proceedings, Volume {II}</i> (pp. 1028--1047). <a href=\"https://doi.org/10.1007/3-540-48118-4_5\">https://doi.org/10.1007/3-540-48118-4_5</a>","ama":"Wehrheim H. Data Abstraction for {CSP-OZ}. In: M. Wing J, Woodcock J, Davies J, eds. <i>FM’99 - Formal Methods, World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999, Proceedings, Volume {II}</i>. Lecture Notes in Computer Science. ; 1999:1028--1047. doi:<a href=\"https://doi.org/10.1007/3-540-48118-4_5\">10.1007/3-540-48118-4_5</a>","chicago":"Wehrheim, Heike. “Data Abstraction for {CSP-OZ}.” In <i>FM’99 - Formal Methods, World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999, Proceedings, Volume {II}</i>, edited by Jeannette M. Wing, Jim Woodcock, and Jim Davies, 1028--1047. Lecture Notes in Computer Science, 1999. <a href=\"https://doi.org/10.1007/3-540-48118-4_5\">https://doi.org/10.1007/3-540-48118-4_5</a>.","ieee":"H. Wehrheim, “Data Abstraction for {CSP-OZ},” in <i>FM’99 - Formal Methods, World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999, Proceedings, Volume {II}</i>, 1999, pp. 1028--1047."},"page":"1028--1047","year":"1999","date_created":"2018-06-14T07:32:05Z","author":[{"first_name":"Heike","full_name":"Wehrheim, Heike","id":"573","last_name":"Wehrheim"}],"date_updated":"2022-01-06T06:59:07Z","doi":"10.1007/3-540-48118-4_5","title":"Data Abstraction for {CSP-OZ}"},{"_id":"3254","department":[{"_id":"77"}],"user_id":"29719","publication":"Integrated Formal Methods, Proceedings of the 1st International Conference on Integrated Formal Methods, {IFM} 99, York, UK, 28-29 June 1999","type":"conference","editor":[{"first_name":"Keijiro","last_name":"Araki","full_name":"Araki, Keijiro"},{"full_name":"Galloway, Andy","last_name":"Galloway","first_name":"Andy"},{"last_name":"Taguchi","full_name":"Taguchi, Kenji","first_name":"Kenji"}],"status":"public","date_updated":"2022-01-06T06:59:07Z","date_created":"2018-06-14T07:33:10Z","author":[{"full_name":"Fischer, Clemens","last_name":"Fischer","first_name":"Clemens"},{"first_name":"Heike","last_name":"Wehrheim","full_name":"Wehrheim, Heike","id":"573"}],"title":"Model-Checking {CSP-OZ} Specifications with {FDR}","year":"1999","page":"315--334","citation":{"ama":"Fischer C, Wehrheim H. Model-Checking {CSP-OZ} Specifications with {FDR}. In: Araki K, Galloway A, Taguchi K, eds. <i>Integrated Formal Methods, Proceedings of the 1st International Conference on Integrated Formal Methods, {IFM} 99, York, UK, 28-29 June 1999</i>. ; 1999:315--334.","chicago":"Fischer, Clemens, and Heike Wehrheim. “Model-Checking {CSP-OZ} Specifications with {FDR}.” In <i>Integrated Formal Methods, Proceedings of the 1st International Conference on Integrated Formal Methods, {IFM} 99, York, UK, 28-29 June 1999</i>, edited by Keijiro Araki, Andy Galloway, and Kenji Taguchi, 315--334, 1999.","ieee":"C. Fischer and H. Wehrheim, “Model-Checking {CSP-OZ} Specifications with {FDR},” in <i>Integrated Formal Methods, Proceedings of the 1st International Conference on Integrated Formal Methods, {IFM} 99, York, UK, 28-29 June 1999</i>, 1999, pp. 315--334.","apa":"Fischer, C., &#38; Wehrheim, H. (1999). Model-Checking {CSP-OZ} Specifications with {FDR}. In K. Araki, A. Galloway, &#38; K. Taguchi (Eds.), <i>Integrated Formal Methods, Proceedings of the 1st International Conference on Integrated Formal Methods, {IFM} 99, York, UK, 28-29 June 1999</i> (pp. 315--334).","mla":"Fischer, Clemens, and Heike Wehrheim. “Model-Checking {CSP-OZ} Specifications with {FDR}.” <i>Integrated Formal Methods, Proceedings of the 1st International Conference on Integrated Formal Methods, {IFM} 99, York, UK, 28-29 June 1999</i>, edited by Keijiro Araki et al., 1999, pp. 315--334.","short":"C. Fischer, H. Wehrheim, in: K. Araki, A. Galloway, K. Taguchi (Eds.), Integrated Formal Methods, Proceedings of the 1st International Conference on Integrated Formal Methods, {IFM} 99, York, UK, 28-29 June 1999, 1999, pp. 315--334.","bibtex":"@inproceedings{Fischer_Wehrheim_1999, title={Model-Checking {CSP-OZ} Specifications with {FDR}}, booktitle={Integrated Formal Methods, Proceedings of the 1st International Conference on Integrated Formal Methods, {IFM} 99, York, UK, 28-29 June 1999}, author={Fischer, Clemens and Wehrheim, Heike}, editor={Araki, Keijiro and Galloway, Andy and Taguchi, KenjiEditors}, year={1999}, pages={315--334} }"}},{"_id":"3255","department":[{"_id":"77"}],"user_id":"29719","publication":"Formale Beschreibungstechniken f{\\\"{u}}r verteilte Systeme, 8. GI/ITG-Fachgespr{\\\"{a}}ch, Cottbus, 4. und 5. Juni 1998","type":"conference","editor":[{"first_name":"Hartmut","last_name":"K{\\\"{o}}nig","full_name":"K{\\\"{o}}nig, Hartmut"},{"first_name":"Peter","last_name":"Langend{\\\"{o}}rfer","full_name":"Langend{\\\"{o}}rfer, Peter"}],"status":"public","date_updated":"2022-01-06T06:59:07Z","date_created":"2018-06-14T07:34:22Z","author":[{"first_name":"Thomas","last_name":"Gehrke","full_name":"Gehrke, Thomas"},{"first_name":"Michaela","full_name":"Huhn, Michaela","last_name":"Huhn"},{"full_name":"Niebert, Peter","last_name":"Niebert","first_name":"Peter"},{"full_name":"Rensink, Arend","last_name":"Rensink","first_name":"Arend"},{"last_name":"Wehrheim","id":"573","full_name":"Wehrheim, Heike","first_name":"Heike"}],"title":"A Process Algebra Semantics for {MSC} Including Conditions","year":"1998","page":"185--196","citation":{"chicago":"Gehrke, Thomas, Michaela Huhn, Peter Niebert, Arend Rensink, and Heike Wehrheim. “A Process Algebra Semantics for {MSC} Including Conditions.” In <i>Formale Beschreibungstechniken F{\\\"{u}}r Verteilte Systeme, 8. GI/ITG-Fachgespr{\\\"{a}}ch, Cottbus, 4. Und 5. Juni 1998</i>, edited by Hartmut K{\\\"{o}}nig and Peter Langend{\\\"{o}}rfer, 185--196, 1998.","ieee":"T. Gehrke, M. Huhn, P. Niebert, A. Rensink, and H. Wehrheim, “A Process Algebra Semantics for {MSC} Including Conditions,” in <i>Formale Beschreibungstechniken f{\\\"{u}}r verteilte Systeme, 8. GI/ITG-Fachgespr{\\\"{a}}ch, Cottbus, 4. und 5. Juni 1998</i>, 1998, pp. 185--196.","ama":"Gehrke T, Huhn M, Niebert P, Rensink A, Wehrheim H. A Process Algebra Semantics for {MSC} Including Conditions. In: K{\\\"{o}}nig H, Langend{\\\"{o}}rfer P, eds. <i>Formale Beschreibungstechniken F{\\\"{u}}r Verteilte Systeme, 8. GI/ITG-Fachgespr{\\\"{a}}ch, Cottbus, 4. Und 5. Juni 1998</i>. ; 1998:185--196.","bibtex":"@inproceedings{Gehrke_Huhn_Niebert_Rensink_Wehrheim_1998, title={A Process Algebra Semantics for {MSC} Including Conditions}, booktitle={Formale Beschreibungstechniken f{\\\"{u}}r verteilte Systeme, 8. GI/ITG-Fachgespr{\\\"{a}}ch, Cottbus, 4. und 5. Juni 1998}, author={Gehrke, Thomas and Huhn, Michaela and Niebert, Peter and Rensink, Arend and Wehrheim, Heike}, editor={K{\\\"{o}}nig, Hartmut and Langend{\\\"{o}}rfer, PeterEditors}, year={1998}, pages={185--196} }","short":"T. Gehrke, M. Huhn, P. Niebert, A. Rensink, H. Wehrheim, in: H. K{\\\"{o}}nig, P. Langend{\\\"{o}}rfer (Eds.), Formale Beschreibungstechniken F{\\\"{u}}r Verteilte Systeme, 8. GI/ITG-Fachgespr{\\\"{a}}ch, Cottbus, 4. Und 5. Juni 1998, 1998, pp. 185--196.","mla":"Gehrke, Thomas, et al. “A Process Algebra Semantics for {MSC} Including Conditions.” <i>Formale Beschreibungstechniken F{\\\"{u}}r Verteilte Systeme, 8. GI/ITG-Fachgespr{\\\"{a}}ch, Cottbus, 4. Und 5. Juni 1998</i>, edited by Hartmut K{\\\"{o}}nig and Peter Langend{\\\"{o}}rfer, 1998, pp. 185--196.","apa":"Gehrke, T., Huhn, M., Niebert, P., Rensink, A., &#38; Wehrheim, H. (1998). A Process Algebra Semantics for {MSC} Including Conditions. In H. K{\\\"{o}}nig &#38; P. Langend{\\\"{o}}rfer (Eds.), <i>Formale Beschreibungstechniken f{\\\"{u}}r verteilte Systeme, 8. GI/ITG-Fachgespr{\\\"{a}}ch, Cottbus, 4. und 5. Juni 1998</i> (pp. 185--196)."}},{"date_updated":"2022-01-06T06:59:07Z","date_created":"2018-06-14T07:35:45Z","author":[{"full_name":"Gehrke, Thomas","last_name":"Gehrke","first_name":"Thomas"},{"first_name":"Michaela","last_name":"Huhn","full_name":"Huhn, Michaela"},{"first_name":"Arend","last_name":"Rensink","full_name":"Rensink, Arend"},{"first_name":"Heike","last_name":"Wehrheim","full_name":"Wehrheim, Heike","id":"573"}],"title":"An Algebraic Semantics for Message Sequence Chart Documents","year":"1998","page":"3--18","citation":{"apa":"Gehrke, T., Huhn, M., Rensink, A., &#38; Wehrheim, H. (1998). An Algebraic Semantics for Message Sequence Chart Documents. In S. Budkowski, A. R. Cavalli, &#38; E. Najm (Eds.), <i>Formal Description Techniques and Protocol Specification, Testing and Verification, {FORTE} {XI} / {PSTV} XVIII’98, {IFIP} {TC6} {WG6.1} Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols {(FORTE} {XI)} and Protocol Specification, Testing and Verification {(PSTV} XVIII), 3-6 November, 1998, Paris, France</i> (pp. 3--18).","bibtex":"@inproceedings{Gehrke_Huhn_Rensink_Wehrheim_1998, series={{IFIP} Conference Proceedings}, title={An Algebraic Semantics for Message Sequence Chart Documents}, booktitle={Formal Description Techniques and Protocol Specification, Testing and Verification, {FORTE} {XI} / {PSTV} XVIII’98, {IFIP} {TC6} {WG6.1} Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols {(FORTE} {XI)} and Protocol Specification, Testing and Verification {(PSTV} XVIII), 3-6 November, 1998, Paris, France}, author={Gehrke, Thomas and Huhn, Michaela and Rensink, Arend and Wehrheim, Heike}, editor={Budkowski, Stanislaw and R. Cavalli, Ana and Najm, ElieEditors}, year={1998}, pages={3--18}, collection={{IFIP} Conference Proceedings} }","mla":"Gehrke, Thomas, et al. “An Algebraic Semantics for Message Sequence Chart Documents.” <i>Formal Description Techniques and Protocol Specification, Testing and Verification, {FORTE} {XI} / {PSTV} XVIII’98, {IFIP} {TC6} {WG6.1} Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols {(FORTE} {XI)} and Protocol Specification, Testing and Verification {(PSTV} XVIII), 3-6 November, 1998, Paris, France</i>, edited by Stanislaw Budkowski et al., 1998, pp. 3--18.","short":"T. Gehrke, M. Huhn, A. Rensink, H. Wehrheim, in: S. Budkowski, A. R. Cavalli, E. Najm (Eds.), Formal Description Techniques and Protocol Specification, Testing and Verification, {FORTE} {XI} / {PSTV} XVIII’98, {IFIP} {TC6} {WG6.1} Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols {(FORTE} {XI)} and Protocol Specification, Testing and Verification {(PSTV} XVIII), 3-6 November, 1998, Paris, France, 1998, pp. 3--18.","chicago":"Gehrke, Thomas, Michaela Huhn, Arend Rensink, and Heike Wehrheim. “An Algebraic Semantics for Message Sequence Chart Documents.” In <i>Formal Description Techniques and Protocol Specification, Testing and Verification, {FORTE} {XI} / {PSTV} XVIII’98, {IFIP} {TC6} {WG6.1} Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols {(FORTE} {XI)} and Protocol Specification, Testing and Verification {(PSTV} XVIII), 3-6 November, 1998, Paris, France</i>, edited by Stanislaw Budkowski, Ana R. Cavalli, and Elie Najm, 3--18. {IFIP} Conference Proceedings, 1998.","ieee":"T. Gehrke, M. Huhn, A. Rensink, and H. Wehrheim, “An Algebraic Semantics for Message Sequence Chart Documents,” in <i>Formal Description Techniques and Protocol Specification, Testing and Verification, {FORTE} {XI} / {PSTV} XVIII’98, {IFIP} {TC6} {WG6.1} Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols {(FORTE} {XI)} and Protocol Specification, Testing and Verification {(PSTV} XVIII), 3-6 November, 1998, Paris, France</i>, 1998, pp. 3--18.","ama":"Gehrke T, Huhn M, Rensink A, Wehrheim H. An Algebraic Semantics for Message Sequence Chart Documents. In: Budkowski S, R. Cavalli A, Najm E, eds. <i>Formal Description Techniques and Protocol Specification, Testing and Verification, {FORTE} {XI} / {PSTV} XVIII’98, {IFIP} {TC6} {WG6.1} Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols {(FORTE} {XI)} and Protocol Specification, Testing and Verification {(PSTV} XVIII), 3-6 November, 1998, Paris, France</i>. {IFIP} Conference Proceedings. ; 1998:3--18."},"_id":"3256","department":[{"_id":"77"}],"series_title":"{IFIP} Conference Proceedings","user_id":"29719","publication":"Formal Description Techniques and Protocol Specification, Testing and Verification, {FORTE} {XI} / {PSTV} XVIII'98, {IFIP} {TC6} {WG6.1} Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols {(FORTE} {XI)} and Protocol Specification, Testing and Verification {(PSTV} XVIII), 3-6 November, 1998, Paris, France","type":"conference","editor":[{"last_name":"Budkowski","full_name":"Budkowski, Stanislaw","first_name":"Stanislaw"},{"first_name":"Ana","last_name":"R. Cavalli","full_name":"R. Cavalli, Ana"},{"last_name":"Najm","full_name":"Najm, Elie","first_name":"Elie"}],"status":"public"},{"editor":[{"first_name":"Vikraman","last_name":"Arvind","full_name":"Arvind, Vikraman"},{"full_name":"Ramanujam, Ramaswamy","last_name":"Ramanujam","first_name":"Ramaswamy"}],"status":"public","type":"conference","publication":"Foundations of Software Technology and Theoretical Computer Science, 18th Conference, Chennai, India, December 17-19, 1998, Proceedings","_id":"3257","user_id":"29719","series_title":"Lecture Notes in Computer Science","department":[{"_id":"77"}],"year":"1998","citation":{"apa":"Huhn, M., Niebert, P., &#38; Wehrheim, H. (1998). Partial Order Reductions for Bisimulation Checking. In V. Arvind &#38; R. Ramanujam (Eds.), <i>Foundations of Software Technology and Theoretical Computer Science, 18th Conference, Chennai, India, December 17-19, 1998, Proceedings</i> (pp. 271--282). <a href=\"https://doi.org/10.1007/978-3-540-49382-2_26\">https://doi.org/10.1007/978-3-540-49382-2_26</a>","short":"M. Huhn, P. Niebert, H. Wehrheim, in: V. Arvind, R. Ramanujam (Eds.), Foundations of Software Technology and Theoretical Computer Science, 18th Conference, Chennai, India, December 17-19, 1998, Proceedings, 1998, pp. 271--282.","mla":"Huhn, Michaela, et al. “Partial Order Reductions for Bisimulation Checking.” <i>Foundations of Software Technology and Theoretical Computer Science, 18th Conference, Chennai, India, December 17-19, 1998, Proceedings</i>, edited by Vikraman Arvind and Ramaswamy Ramanujam, 1998, pp. 271--282, doi:<a href=\"https://doi.org/10.1007/978-3-540-49382-2_26\">10.1007/978-3-540-49382-2_26</a>.","bibtex":"@inproceedings{Huhn_Niebert_Wehrheim_1998, series={Lecture Notes in Computer Science}, title={Partial Order Reductions for Bisimulation Checking}, DOI={<a href=\"https://doi.org/10.1007/978-3-540-49382-2_26\">10.1007/978-3-540-49382-2_26</a>}, booktitle={Foundations of Software Technology and Theoretical Computer Science, 18th Conference, Chennai, India, December 17-19, 1998, Proceedings}, author={Huhn, Michaela and Niebert, Peter and Wehrheim, Heike}, editor={Arvind, Vikraman and Ramanujam, RamaswamyEditors}, year={1998}, pages={271--282}, collection={Lecture Notes in Computer Science} }","ama":"Huhn M, Niebert P, Wehrheim H. Partial Order Reductions for Bisimulation Checking. In: Arvind V, Ramanujam R, eds. <i>Foundations of Software Technology and Theoretical Computer Science, 18th Conference, Chennai, India, December 17-19, 1998, Proceedings</i>. Lecture Notes in Computer Science. ; 1998:271--282. doi:<a href=\"https://doi.org/10.1007/978-3-540-49382-2_26\">10.1007/978-3-540-49382-2_26</a>","chicago":"Huhn, Michaela, Peter Niebert, and Heike Wehrheim. “Partial Order Reductions for Bisimulation Checking.” In <i>Foundations of Software Technology and Theoretical Computer Science, 18th Conference, Chennai, India, December 17-19, 1998, Proceedings</i>, edited by Vikraman Arvind and Ramaswamy Ramanujam, 271--282. Lecture Notes in Computer Science, 1998. <a href=\"https://doi.org/10.1007/978-3-540-49382-2_26\">https://doi.org/10.1007/978-3-540-49382-2_26</a>.","ieee":"M. Huhn, P. Niebert, and H. Wehrheim, “Partial Order Reductions for Bisimulation Checking,” in <i>Foundations of Software Technology and Theoretical Computer Science, 18th Conference, Chennai, India, December 17-19, 1998, Proceedings</i>, 1998, pp. 271--282."},"page":"271--282","title":"Partial Order Reductions for Bisimulation Checking","doi":"10.1007/978-3-540-49382-2_26","date_updated":"2022-01-06T06:59:07Z","date_created":"2018-06-14T07:37:32Z","author":[{"last_name":"Huhn","full_name":"Huhn, Michaela","first_name":"Michaela"},{"full_name":"Niebert, Peter","last_name":"Niebert","first_name":"Peter"},{"last_name":"Wehrheim","full_name":"Wehrheim, Heike","id":"573","first_name":"Heike"}]},{"date_updated":"2022-01-06T06:59:07Z","date_created":"2018-06-14T07:40:10Z","author":[{"first_name":"Arend","full_name":"Rensink, Arend","last_name":"Rensink"},{"last_name":"Wehrheim","id":"573","full_name":"Wehrheim, Heike","first_name":"Heike"}],"title":"Dependency-Based Action Refinement","doi":"10.1007/BFb0029990","year":"1997","citation":{"apa":"Rensink, A., &#38; Wehrheim, H. (1997). Dependency-Based Action Refinement. In I. Pr{\\’{\\i}}vara &#38; P. Ruzicka (Eds.), <i>Mathematical Foundations of Computer Science 1997, 22nd International Symposium, MFCS’97, Bratislava, Slovakia, August 25-29, 1997, Proceedings</i> (pp. 468--477). <a href=\"https://doi.org/10.1007/BFb0029990\">https://doi.org/10.1007/BFb0029990</a>","short":"A. Rensink, H. Wehrheim, in: I. Pr{\\’{\\i}}vara, P. Ruzicka (Eds.), Mathematical Foundations of Computer Science 1997, 22nd International Symposium, MFCS’97, Bratislava, Slovakia, August 25-29, 1997, Proceedings, 1997, pp. 468--477.","bibtex":"@inproceedings{Rensink_Wehrheim_1997, series={Lecture Notes in Computer Science}, title={Dependency-Based Action Refinement}, DOI={<a href=\"https://doi.org/10.1007/BFb0029990\">10.1007/BFb0029990</a>}, booktitle={Mathematical Foundations of Computer Science 1997, 22nd International Symposium, MFCS’97, Bratislava, Slovakia, August 25-29, 1997, Proceedings}, author={Rensink, Arend and Wehrheim, Heike}, editor={Pr{\\’{\\i}}vara, Igor and Ruzicka, PeterEditors}, year={1997}, pages={468--477}, collection={Lecture Notes in Computer Science} }","mla":"Rensink, Arend, and Heike Wehrheim. “Dependency-Based Action Refinement.” <i>Mathematical Foundations of Computer Science 1997, 22nd International Symposium, MFCS’97, Bratislava, Slovakia, August 25-29, 1997, Proceedings</i>, edited by Igor Pr{\\’{\\i}}vara and Peter Ruzicka, 1997, pp. 468--477, doi:<a href=\"https://doi.org/10.1007/BFb0029990\">10.1007/BFb0029990</a>.","ama":"Rensink A, Wehrheim H. Dependency-Based Action Refinement. In: Pr{\\’{\\i}}vara I, Ruzicka P, eds. <i>Mathematical Foundations of Computer Science 1997, 22nd International Symposium, MFCS’97, Bratislava, Slovakia, August 25-29, 1997, Proceedings</i>. Lecture Notes in Computer Science. ; 1997:468--477. doi:<a href=\"https://doi.org/10.1007/BFb0029990\">10.1007/BFb0029990</a>","ieee":"A. Rensink and H. Wehrheim, “Dependency-Based Action Refinement,” in <i>Mathematical Foundations of Computer Science 1997, 22nd International Symposium, MFCS’97, Bratislava, Slovakia, August 25-29, 1997, Proceedings</i>, 1997, pp. 468--477.","chicago":"Rensink, Arend, and Heike Wehrheim. “Dependency-Based Action Refinement.” In <i>Mathematical Foundations of Computer Science 1997, 22nd International Symposium, MFCS’97, Bratislava, Slovakia, August 25-29, 1997, Proceedings</i>, edited by Igor Pr{\\’{\\i}}vara and Peter Ruzicka, 468--477. Lecture Notes in Computer Science, 1997. <a href=\"https://doi.org/10.1007/BFb0029990\">https://doi.org/10.1007/BFb0029990</a>."},"page":"468--477","_id":"3258","user_id":"29719","series_title":"Lecture Notes in Computer Science","department":[{"_id":"77"}],"type":"conference","publication":"Mathematical Foundations of Computer Science 1997, 22nd International Symposium, MFCS'97, Bratislava, Slovakia, August 25-29, 1997, Proceedings","editor":[{"last_name":"Pr{\\'{\\i}}vara","full_name":"Pr{\\'{\\i}}vara, Igor","first_name":"Igor"},{"first_name":"Peter","full_name":"Ruzicka, Peter","last_name":"Ruzicka"}],"status":"public"}]