@proceedings{svv08,
  editor = {Ralf Huuck and Gerwin Klein and Bastian Schlich},
  title = {Proc.\ 3rd International Workshop on System Software Verification (SSV08)},
  series = {ENTCS},
  volume = 217,
  publisher = {Elsevier},
  year = 2008,
}