Selected publications at LSV

@article{DDS-tcs17,
   author = {Demri, St{\'e}phane and Dhar, Amit and Sangnier, Arnaud},
   journal = {Theoretical Computer Science},
   note = {Special issue of RP'14, to appear},
   publisher = {Elsevier Science Publishers},
   title = {Equivalence Between Model-Checking Flat Counter Systems and Presburger Arithmetic},
   year = {2017},
}

About LSV

Select by Year