Hybrid Acceleration Using Real Vector Automata

Technical Report PDF: 
Technical Report Number: 
2003.18
TitleHybrid Acceleration Using Real Vector Automata
Publication TypeConference Paper
Year of Publication2003
AuthorsBoigelot, B, Herbreteau F, Jodogne S
Conference NameCAV