Étienne André

Étienne André

Université Paris 13, LIPN, CNRS, UMR 7030, F-93430, Villetaneuse, France
Verified email at univ-paris13.fr
Cited by 2058
Computer science Formal methods model checking verification of real-time systems parameter synthesis