Cristin-resultat-ID: 1004395
Sist endret: 31. januar 2013, 20:07
Resultat
Vitenskapelig Kapittel/Artikkel/Konferanseartikkel
2012

Compositional Analysis of Resource Bounds for Software Transactions

Bidragsytere:
  • Thi Mai Thuong Tran
  • Martin Steffen og
  • Truong Hoang

Bok

24th Nordic Workshop on Programming Theory

Utgiver

Universitetet i Bergen
NVI-nivå 0
Finn i kanalregisteret

Serie

Reports in Informatics
ISSN 0333-3590

Om resultatet

Vitenskapelig Kapittel/Artikkel/Konferanseartikkel
Publiseringsår: 2012
Hefte: 403
Antall sider: 3

Beskrivelse Beskrivelse

Tittel

Compositional Analysis of Resource Bounds for Software Transactions

Bidragsytere

Thi Mai Thuong Tran

  • Tilknyttet:
    Forfatter
    ved Pålitelige systemer ved Universitetet i Oslo
Aktiv cristin-person

Martin Steffen

  • Tilknyttet:
    Forfatter
    ved Pålitelige systemer ved Universitetet i Oslo

Truong Hoang

  • Tilknyttet:
    Forfatter
1 - 3 av 3

Resultatet er en del av Resultatet er en del av

24th Nordic Workshop on Programming Theory.

Wolter, Uwe Egbert; Lamo, Yngve. 2012, Universitetet i Bergen. HVL, UIBRapport
1 - 1 av 1