@proceedings{3202,
  editor       = {{Leuschel, Michael and Wehrheim, Heike}},
  isbn         = {{978-3-642-00254-0}},
  title        = {{{Integrated Formal Methods, 7th International Conference, {IFM} 2009, D{\"{u}}sseldorf, Germany, February 16-19, 2009. Proceedings}}},
  doi          = {{10.1007/978-3-642-00255-7}},
  year         = {{2009}},
}