@mastersthesis{Baue07,
  key         ={Baue07},
  author      ={K. Bauer},
  title       ={On the Use of {Gröbner} Bases and Algebraic Methods for the Analysis of Hybrid Automata},
  editor      ={R. Gentilini and K. Schneider},
  howpublished={Project Thesis},
  month       ={February},
  school      ={Department of Computer Science, University of Kaiserslautern},
  year        ={2007},
  remark      ={rsg}
}