@mastersthesis{Baue07a,
  key         ={Baue07a},
  author      ={K. Bauer},
  title       ={Three-valued $\mu$-Calculus on Hybrid Automata},
  editor      ={R. Gentilini and K. Schneider},
  howpublished={Diploma Thesis},
  month       ={December},
  school      ={Department of Computer Science, University of Kaiserslautern},
  year        ={2007},
  remark      ={rsg}
}