Decision procedures for equivalence based properties

Stéphanie Delaune and Steve Kremer. Decision procedures for equivalence based properties. Deliverable VIP 3.1 (ANR-11-JS02-0006), December 2013. 117 pages

Download

[PDF] 

Abstract

(unavailable)

BibTeX

@misc{vip-D31,
  author =        {Delaune, St{\'e}phanie and Kremer, Steve},
  howpublished =  {Deliverable VIP~3.1 (ANR-11-JS02-0006)},
  month =         dec,
  note =          {117~pages},
  type =          {Contract Report},
  title =         {Decision procedures for equivalence based properties},
  year =          {2013},
  nmonth =        {12},
  OPTLONGPDF =       {https://www.lsv.ens-cachan.fr/Publis/PAPERS/PDF/
                  vip-d31-long.pdf},
  lsv-category =  {cont},
  wwwpublic =     {perso},
}