21787 articles – 15600 references  [version française]
.:. Browse > By author > Maler .:.
1 document
Recent progress in continuous and hybrid reachability analysis
Asarin E., Dang T., Frehse G., Girard A., Le Guernic C., Maler O.
Dans IEEE International Symposium on Computer-Aided Control Systems Design 2006 (2006) 1582 - 1587 [hal-00307031 - version 1]