Étienne André
1
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
- 1
- 1
- 1
- 1
- 1
- 1
|
Consistency in Parametric Interval Probabilistic Timed AutomataJournal of Logical and Algebraic Methods in Programming, inPress, ⟨10.1016/j.jlamp.2019.04.007⟩
Article dans une revue
hal-02154775v1
|