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