Acceleration of Affine Hybrid Transformations

TitleAcceleration of Affine Hybrid Transformations
Publication TypeConference Paper
Year of Publication2014
AuthorsBoigelot, B, Herbreteau F, Mainz I
Conference NameAutomated Technology for Verification and Analysis - 12th International Symposium, {ATVA} 2014, Sydney, NSW, Australia, November 3-7, 2014, Proceedings
PublisherSpringer
DOI10.1007/978-3-319-11936-6_4