Selected publications at LSV

@phdthesis{schwoon-HDR13,
   author = {Schwoon, Stefan},
   month = dec,
   school = {{\'E}cole Normale Sup{\'e}rieure de Cachan, France},
   type = {M{\'e}moire d'habilitation},
   title = {Efficient verification of sequential and concurrent systems},
   url = {http://www.lsv.ens-cachan.fr/Publis/PAPERS/PDF/hdr-schwoon13.pdf},
   year = {2013},
}

About LSV