Cristin-resultat-ID: 984300
Sist endret: 9. januar 2013, 10:50
Resultat
Vitenskapelig Kapittel/Artikkel/Konferanseartikkel
2012

Deadlock checking by data race detection

Bidragsytere:
  • Ka I Pun
  • Martin Steffen og
  • Volker Stolz

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

Lenker

original online (doi)

Beskrivelse Beskrivelse

Tittel

Deadlock checking by data race detection

Bidragsytere

Violet Ka I Pun

Bidragsyterens navn vises på dette resultatet som Ka I Pun
  • 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
Aktiv cristin-person

Volker Stolz

  • Tilknyttet:
    Forfatter
    ved Pålitelige systemer ved Universitetet i Oslo
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