@mastersthesis{Gese08,
  key         ={Gese08},
  author      ={M. Gesell},
  title       ={Probabilistic Model Checking of Synchronous Programs},
  editor      ={J. Brandt and K. Schneider},
  howpublished={Diploma Thesis},
  month       ={June},
  school      ={Department of Computer Science, University of Kaiserslautern},
  year        ={2008},
  remark      ={rsg}
}