@Inproceedings{EPTCS39.5,
  author    = {Boigelot, Bernard  and Brusten, Julien  and Degbomont, Jean-Fran\c{c}ois },
  year      = {2010},
  title     = {Implicit Real Vector Automata},
  editor    = {Chen, Yu-Fang and Rezine, Ahmed},
  booktitle = {{\rm Proceedings 12th International Workshop on}
               Verification of Infinite-State Systems,
               {\rm Singapore, 21st September 2010}},
  series    = {Electronic Proceedings in Theoretical Computer Science},
  volume    = {39},
  publisher = {Open Publishing Association},
  pages     = {63-76},
  doi       = {10.4204/EPTCS.39.5},
}