Rely-Guarantee Termination and Cost Analyses of Loops with Concurrent Interleavings

  1. Albert, E.
  2. Flores-Montoya, A.
  3. Genaim, S.
  4. Martin-Martin, E.
Revue:
Journal of Automated Reasoning

ISSN: 1573-0670,  0168-7433

Année de publication: 2017

Volumen: 59

Número: 1

Pages: 47-85

Type: Article

DOI: 10.1007/S10817-016-9400-6 GOOGLE SCHOLAR
La source de données: Scopus