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.
Aldizkaria:
Journal of Automated Reasoning

ISSN: 1573-0670,  0168-7433

Argitalpen urtea: 2017

Alea: 59

Zenbakia: 1

Orrialdeak: 47-85

Mota: Artikulua

DOI: 10.1007/S10817-016-9400-6 GOOGLE SCHOLAR
Datuen iturria: Scopus