Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

9

CAV
2003
Springer

favoriteEmaildiscussreport

120views Hardware» more CAV 2003»

Hybrid Acceleration Using Real Vector Automata (Extended Abstract)

13 years 9 months ago

Hybrid Acceleration Using Real Vector Automata (Extended Abstract)

Download www.labri.fr

Bernard Boigelot, Frédéric Herbretea

Real-time Traffic

CAV 2003 | Formal Methods |

claim paper

Related Content

» A New Class of Decidable Hybrid Systems

» A Generalization of Semenovs Theorem to Automata over Real Numbers

Post Info
More Details (n/a)

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)