Selected publications at LSV

@inproceedings{BJM-formats17,
   address = {Berlin, Germany},
   author = {Bouyer, Patricia and Jaziri, Samy and Markey, Nicolas},
   booktitle = {{P}roceedings of the 15th {I}nternational {C}onference on {F}ormal {M}odelling and {A}nalysis of {T}imed {S}ystems ({FORMATS}'17)},
   editor = {Abate, Alessandro and Geeraerts, Gilles},
   month = sep,
   note = {To appear},
   publisher = {Springer},
   title = {On the Determinization of Timed Systems},
   year = {2017},
}

About LSV

Select by Year