TY  - RPRT
TI  - Polynomial Interrupt Timed Automata
AU  - Béatrice Bérard
AU  - Serge Haddad
AU  - Claudine Picaronny
AU  - Mohab Safey El Din
AU  - Mathieu Sassolas
PY  - 2015
UR  - https://arxiv.org/abs/1504.04541
ID  - 1504.04541
ER  -