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