@mastersthesis{Schm08,
  key         ={Schm08},
  author      ={S. Schmitt},
  title       ={Supervisor Synthesis using {SAT}-Solvers},
  editor      ={A. Morgenstern and K. Schneider},
  howpublished={Diploma Thesis},
  month       ={December},
  school      ={Department of Computer Science, University of Kaiserslautern},
  year        ={2008},
  remark      ={rsg}
}