{"author":[{"full_name":"Fischer, Clemens","last_name":"Fischer","first_name":"Clemens"},{"full_name":"Wehrheim, Heike","last_name":"Wehrheim","first_name":"Heike","id":"573"}],"status":"public","date_updated":"2022-01-06T06:59:07Z","_id":"3249","year":"2000","page":"469--483","type":"conference","publication":"Algebraic Methodology and Software Technology. 8th International Conference, {AMAST} 2000, Iowa City, Iowa, USA, May 20-27, 2000, Proceedings","date_created":"2018-06-14T07:20:56Z","title":"Behavioural Subtyping Relations for Object-Oriented Formalisms","department":[{"_id":"77"}],"citation":{"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.","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>","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>.","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} }","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>","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>.","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."},"user_id":"29719","doi":"10.1007/3-540-45499-3_33","editor":[{"last_name":"Rus","full_name":"Rus, Teodor","first_name":"Teodor"}],"series_title":"Lecture Notes in Computer Science"}