Selected publications at LSV

@incollection{SD-EORM18,
   author = {Demri, St{\'e}phane},
   booktitle = {Ewa Orlowska on Relational Methods in Logic and Computer Science},
   editor = {Goli{\'n}ska-Pilarek, Joanna and Zawidzki, Micha\l},
   pages = {441-479},
   publisher = {Springer},
   series = {Outstanding Contributions to Logic},
   title = {Reasoning about reversal-bounded counter machines},
   url = {http://www.lsv.ens-cachan.fr/Publis/PAPERS/PDF/SD-EORM.pdf},
   volume = {17},
   year = {2018},
}

About LSV

Select by Year