Acceleration of Affine Hybrid Transformations

DOI10.1007/978-3-319-11936-6_4zbMath1448.68257OpenAlexW2243166499MaRDI QIDQ3457778

Isabelle Mainz, Bernard Boigelot, Frédéric Herbreteau

Publication date: 17 December 2015

Published in: Automated Technology for Verification and Analysis (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-11936-6_4

Mathematics Subject Classification ID

Formal languages and automata (68Q45)

Related Items (1)

Flat Petri nets (invited talk)

This page was built for publication: Acceleration of Affine Hybrid Transformations