Sciweavers

CAV
2003
Springer

Hybrid Acceleration Using Real Vector Automata (Extended Abstract)

14 years 4 months ago
Hybrid Acceleration Using Real Vector Automata (Extended Abstract)
Bernard Boigelot, Frédéric Herbretea
Added 06 Jul 2010
Updated 06 Jul 2010
Type Conference
Year 2003
Where CAV
Authors Bernard Boigelot, Frédéric Herbreteau, Sébastien Jodogne
Comments (0)