B
[BHJ03] Bernard Boigelot, Frédéric Herbreteau, and Sébastien Jodogne. Hybrid Acceleration using Real Vector Automata. Technical Report 2003.18, Centre Fédéré en Vérification, Bruxelles, Belgium, 2003. 
@techreport{TR-cfv0318,
  author =              {Boigelot, Bernard and Herbreteau, Fr{\'e}d{\'e}ric
                         and Jodogne, S{\'e}bastien},
  title =               {Hybrid Acceleration using Real Vector Automata},
  number =              {2003.18},
  year =                {2003},
  institution =         {Centre F\'ed\'er\'e en V\'erification, Bruxelles,
                         Belgium},
  type =                {Technical Report},
}
List of authors