{"status":"public","year":"2003","author":[{"first_name":"Heike","id":"573","last_name":"Wehrheim","full_name":"Wehrheim, Heike"}],"department":[{"_id":"77"}],"_id":"3237","title":"Preserving Properties Under Change","citation":{"apa":"Wehrheim, H. (2003). Preserving Properties Under Change. In F. S. de Boer, M. M. Bonsangue, S. Graf, &#38; W. P. de Roever (Eds.), <i>Formal Methods for Components and Objects, Second International Symposium, {FMCO} 2003, Leiden, The Netherlands, November 4-7, 2003, Revised Lectures</i> (pp. 330--343). <a href=\"https://doi.org/10.1007/978-3-540-30101-1_16\">https://doi.org/10.1007/978-3-540-30101-1_16</a>","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>","mla":"Wehrheim, Heike. “Preserving Properties Under Change.” <i>Formal Methods for Components and Objects, Second International Symposium, {FMCO} 2003, Leiden, The Netherlands, November 4-7, 2003, Revised Lectures</i>, edited by Frank S. de Boer et al., 2003, pp. 330--343, doi:<a href=\"https://doi.org/10.1007/978-3-540-30101-1_16\">10.1007/978-3-540-30101-1_16</a>.","ieee":"H. Wehrheim, “Preserving Properties Under Change,” in <i>Formal Methods for Components and Objects, Second International Symposium, {FMCO} 2003, Leiden, The Netherlands, November 4-7, 2003, Revised Lectures</i>, 2003, pp. 330--343.","short":"H. Wehrheim, in: F. S. de Boer, M. M. Bonsangue, S. Graf, W. P. de Roever (Eds.), Formal Methods for Components and Objects, Second International Symposium, {FMCO} 2003, Leiden, The Netherlands, November 4-7, 2003, Revised Lectures, 2003, pp. 330--343.","chicago":"Wehrheim, Heike. “Preserving Properties Under Change.” In <i>Formal Methods for Components and Objects, Second International Symposium, {FMCO} 2003, Leiden, The Netherlands, November 4-7, 2003, Revised Lectures</i>, edited by Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, and Willem P. de Roever, 330--343. Lecture Notes in Computer Science, 2003. <a href=\"https://doi.org/10.1007/978-3-540-30101-1_16\">https://doi.org/10.1007/978-3-540-30101-1_16</a>.","bibtex":"@inproceedings{Wehrheim_2003, series={Lecture Notes in Computer Science}, title={Preserving Properties Under Change}, DOI={<a href=\"https://doi.org/10.1007/978-3-540-30101-1_16\">10.1007/978-3-540-30101-1_16</a>}, booktitle={Formal Methods for Components and Objects, Second International Symposium, {FMCO} 2003, Leiden, The Netherlands, November 4-7, 2003, Revised Lectures}, author={Wehrheim, Heike}, editor={S. de Boer, Frank and M. Bonsangue, Marcello and Graf, Susanne and P. de Roever, WillemEditors}, year={2003}, pages={330--343}, collection={Lecture Notes in Computer Science} }"},"user_id":"29719","date_created":"2018-06-14T06:51:09Z","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"},{"last_name":"Graf","full_name":"Graf, Susanne","first_name":"Susanne"},{"full_name":"P. de Roever, Willem","last_name":"P. de Roever","first_name":"Willem"}],"series_title":"Lecture Notes in Computer Science","doi":"10.1007/978-3-540-30101-1_16","page":"330--343","publication":"Formal Methods for Components and Objects, Second International Symposium, {FMCO} 2003, Leiden, The Netherlands, November 4-7, 2003, Revised Lectures","type":"conference","date_updated":"2022-01-06T06:59:06Z"}