@inproceedings{Leucker08Lightweight,
  author = {Martin Leucker and Helmut Seidl},
  title = {Lightweight {V}erification 2008},
  booktitle = {Beherrschbare Systeme - dank Informatik,Band 2},
  editor = {Heinz-Gerd Hegering and Axel Lehmann and Hans J\"urgen Ohlbach and Christian Scheideler},
  month = {September},
  year = 2008,
  pages = {965-966},
  series = {LNI},
  volume = {134},
  publisher = {GI},
  address = {Munich, Germany},
}