Acceleration of Affine Hybrid Transformations

Automated Technology for Verification and Analysis - Lecture Notes in Computer Science ◽

10.1007/978-3-319-11936-6_4 ◽

2014 ◽

pp. 31-46 ◽

Cited By ~ 1

Author(s):

Bernard Boigelot ◽

Frédéric Herbreteau ◽

Isabelle Mainz

Download Full-text