Stéphanie Delaune: Decision procedures for equivalence based properties (part II)

Decision procedures for equivalence based properties (part II)

David Baelde, Stéphanie Delaune, and Steve Kremer. Decision procedures for equivalence based properties (part II). Deliverable VIP 3.2 (ANR-11-JS02-0006), September 2015. 9 pages

Download

[PDF]

Abstract

(unavailable)

BibTeX

@misc{vip-D32,
  author =        {Baelde, David and Delaune, St{\'e}phanie and
                   Kremer, Steve},
  howpublished =  {Deliverable VIP~3.2 (ANR-11-JS02-0006)},
  month =         sep,
  note =          {9~pages},
  type =          {Contract Report},
  title =         {Decision procedures for equivalence based properties
                   (part~{II})},
  year =          {2015},
  nmonth =        {9},
  lsv-category =  {cont},
  wwwpublic =     {rien},
}