Hybrid Acceleration Using Real Vector Automata
(2003) International Conference on Computer Aided Verification
Files
BHJ03.pdf
Open Access - Adobe PDF
- 225.54 KB
Details
- Authors
- Affiliations
Citations
Boigelot, B., Herbreteau, F., & Jodogne, S. (2003). Hybrid Acceleration Using Real Vector Automata. Lecture Notes in Computer Science, 2725(1), 193-205. https://doi.org/10.1007/978-3-540-45069-6_19 (Original work published 2003)