[{"department":[{"_id":"77"}],"type":"conference_editor","date_created":"2018-06-13T09:44:34Z","citation":{"short":"M. Leuschel, H. Wehrheim, eds., Integrated Formal Methods, 7th International Conference, {IFM} 2009, D{\\\"{u}}sseldorf, Germany, February 16-19, 2009. Proceedings, 2009.","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>.","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.","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>","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} }","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>","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>."},"editor":[{"first_name":"Michael","last_name":"Leuschel","full_name":"Leuschel, Michael"},{"id":"573","last_name":"Wehrheim","first_name":"Heike","full_name":"Wehrheim, Heike"}],"doi":"10.1007/978-3-642-00255-7","user_id":"29719","_id":"3202","series_title":"Lecture Notes in Computer Science","date_updated":"2022-01-06T06:59:04Z","publication_identifier":{"isbn":["978-3-642-00254-0"]},"status":"public","year":"2009","title":"Integrated Formal Methods, 7th International Conference, {IFM} 2009, D{\\\"{u}}sseldorf, Germany, February 16-19, 2009. Proceedings"}]