Selected publications at LSV

@mastersthesis{m2-Hilaire,
   author = {Hilaire, Mathieu},
   month = sep,
   school = {{M}aster {P}arisien de {R}echerche en {I}nformatique, Paris, France},
   type = {Rapport de {M}aster},
   title = {{Complexity of the reachability problem for parametric timed automata}},
   year = {2018},
}

About LSV

Select by Year