@inproceedings{BaGS09b,
  key         ={BaGS09b},
  author      ={K. Bauer and R. Gentilini and K. Schneider},
  title       ={A Uniform Approach to Three-Valued Semantics for $\mu$-Calculus on Abstractions of Hybrid Automata},
  booktitle   ={International Haifa Verification Conference (HVC)},
  address     ={Haifa, Israel},
  editor      ={H. Chockler and A.J. Hu},
  publisher   ={Springer},
  series      ={LNCS},
  volume      ={5394},
  pages       ={38-52},
  year        ={2009},
  remark      ={rsg}
}