@mastersthesis{Baue08b,
  key         ={Baue08b},
  author      ={K. Bauer},
  title       ={Algebraic Methods and Abstractions for Automated 3-valued Reasoning on Hybrid Automata},
  editor      ={G. Pfister and K. Schneider and R. Gentilini},
  howpublished={Diploma Thesis},
  month       ={January},
  school      ={Department of Mathematics, University of Kaiserslautern},
  year        ={2008},
  remark      ={rsg}
}