Étienne André
2
Documents
Identifiants chercheurs
- etienne-andre
Présentation
My Web page is available at [lipn.univ-paris13.fr/~andre/](https://lipn.univ-paris13.fr/~andre/ "Étienne André")
Publications
- 2
- 2
- 2
An Inverse Method for Parametric Timed AutomataInternational Journal of Foundations of Computer Science, 2009, 20 (5), pp.819-836. ⟨10.1142/S0129054109006905⟩
Article dans une revue
hal-00772641v1
|
An Inverse Method for Parametric Timed AutomataThe Second Workshop on Reachability Problems in Computational Models (RP 2008), Sep 2008, Liverpool, United Kingdom. pp.29-46, ⟨10.1016/j.entcs.2008.12.029⟩
Communication dans un congrès
hal-01299163v1
|