{"type":"conference_editor","user_id":"29719","date_updated":"2022-01-06T06:59:04Z","title":"Integrated Formal Methods, 7th International Conference, {IFM} 2009, D{\\\"{u}}sseldorf, Germany, February 16-19, 2009. Proceedings","status":"public","date_created":"2018-06-13T09:44:34Z","publication_identifier":{"isbn":["978-3-642-00254-0"]},"citation":{"bibtex":"@book{Leuschel_Wehrheim_2009, series={Lecture Notes in Computer Science}, title={Integrated Formal Methods, 7th International Conference, {IFM} 2009, D{\\\"{u}}sseldorf, Germany, February 16-19, 2009. Proceedings}, DOI={<a href=\"https://doi.org/10.1007/978-3-642-00255-7\">10.1007/978-3-642-00255-7</a>}, year={2009}, collection={Lecture Notes in Computer Science} }","apa":"Leuschel, M., &#38; Wehrheim, H. (Eds.). (2009). <i>Integrated Formal Methods, 7th International Conference, {IFM} 2009, D{\\\"{u}}sseldorf, Germany, February 16-19, 2009. Proceedings</i>. <a href=\"https://doi.org/10.1007/978-3-642-00255-7\">https://doi.org/10.1007/978-3-642-00255-7</a>","ama":"Leuschel M, Wehrheim H, eds. <i>Integrated Formal Methods, 7th International Conference, {IFM} 2009, D{\\\"{u}}sseldorf, Germany, February 16-19, 2009. Proceedings</i>.; 2009. doi:<a href=\"https://doi.org/10.1007/978-3-642-00255-7\">10.1007/978-3-642-00255-7</a>","chicago":"Leuschel, Michael, and Heike Wehrheim, eds. <i>Integrated Formal Methods, 7th International Conference, {IFM} 2009, D{\\\"{u}}sseldorf, Germany, February 16-19, 2009. Proceedings</i>. Lecture Notes in Computer Science, 2009. <a href=\"https://doi.org/10.1007/978-3-642-00255-7\">https://doi.org/10.1007/978-3-642-00255-7</a>.","mla":"Leuschel, Michael, and Heike Wehrheim, editors. <i>Integrated Formal Methods, 7th International Conference, {IFM} 2009, D{\\\"{u}}sseldorf, Germany, February 16-19, 2009. Proceedings</i>. 2009, doi:<a href=\"https://doi.org/10.1007/978-3-642-00255-7\">10.1007/978-3-642-00255-7</a>.","short":"M. Leuschel, H. Wehrheim, eds., Integrated Formal Methods, 7th International Conference, {IFM} 2009, D{\\\"{u}}sseldorf, Germany, February 16-19, 2009. Proceedings, 2009.","ieee":"M. Leuschel and H. Wehrheim, Eds., <i>Integrated Formal Methods, 7th International Conference, {IFM} 2009, D{\\\"{u}}sseldorf, Germany, February 16-19, 2009. Proceedings</i>. 2009."},"year":"2009","_id":"3202","editor":[{"full_name":"Leuschel, Michael","first_name":"Michael","last_name":"Leuschel"},{"full_name":"Wehrheim, Heike","last_name":"Wehrheim","first_name":"Heike","id":"573"}],"department":[{"_id":"77"}],"series_title":"Lecture Notes in Computer Science","doi":"10.1007/978-3-642-00255-7"}