{"year":"2004","page":"267--286","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>.","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.","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>","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>","short":"M. Möller, E.-R. Olderog, H. Rasch, H. Wehrheim, in: E. A. Boiten, J. Derrick, G. Smith (Eds.), Integrated Formal Methods, 4th International Conference, {IFM} 2004, Canterbury, UK, April 4-7, 2004, Proceedings, 2004, pp. 267--286.","bibtex":"@inproceedings{Möller_Olderog_Rasch_Wehrheim_2004, series={Lecture Notes in Computer Science}, title={Linking {CSP-OZ} with {UML} and Java: {A} Case Study}, DOI={<a href=\"https://doi.org/10.1007/978-3-540-24756-2_15\">10.1007/978-3-540-24756-2_15</a>}, booktitle={Integrated Formal Methods, 4th International Conference, {IFM} 2004, Canterbury, UK, April 4-7, 2004, Proceedings}, author={Möller, Michael and Olderog, Ernst-Rüdiger and Rasch, Holger and Wehrheim, Heike}, editor={A. Boiten, Eerke and Derrick, John and Smith, GraemeEditors}, year={2004}, pages={267--286}, collection={Lecture Notes in Computer Science} }","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>."},"title":"Linking {CSP-OZ} with {UML} and Java: {A} Case Study","doi":"10.1007/978-3-540-24756-2_15","date_updated":"2022-01-06T06:59:06Z","author":[{"first_name":"Michael","last_name":"Möller","full_name":"Möller, Michael"},{"first_name":"Ernst-Rüdiger","last_name":"Olderog","full_name":"Olderog, Ernst-Rüdiger"},{"full_name":"Rasch, Holger","last_name":"Rasch","first_name":"Holger"},{"full_name":"Wehrheim, Heike","id":"573","last_name":"Wehrheim","first_name":"Heike"}],"date_created":"2018-06-14T06:47:35Z","editor":[{"first_name":"Eerke","full_name":"A. Boiten, Eerke","last_name":"A. Boiten"},{"full_name":"Derrick, John","last_name":"Derrick","first_name":"John"},{"full_name":"Smith, Graeme","last_name":"Smith","first_name":"Graeme"}],"status":"public","publication":"Integrated Formal Methods, 4th International Conference, {IFM} 2004, Canterbury, UK, April 4-7, 2004, Proceedings","type":"conference","_id":"3234","department":[{"_id":"77"}],"user_id":"29719","series_title":"Lecture Notes in Computer Science"}