Cristin-resultat-ID: 984296
Sist endret: 9. januar 2013, 10:47
Resultat
Rapport
2012

24th Nordic Workshop on Programming Theory

Bidragsytere:
  • Uwe Egbert Wolter og
  • Yngve Lamo

Utgiver/serie

Utgiver

Universitetet i Bergen
NVI-nivå 0
Finn i kanalregisteret

Serie

Reports in Informatics
ISSN 0333-3590

Om resultatet

Rapport
Publiseringsår: 2012
Hefte: 403
Antall sider: 50

Beskrivelse Beskrivelse

Tittel

24th Nordic Workshop on Programming Theory

Bidragsytere

Uwe Egbert Wolter

  • Tilknyttet:
    Redaktør
    ved Institutt for informatikk ved Universitetet i Bergen

Yngve Lamo

  • Tilknyttet:
    Redaktør
    ved Institutt for datateknologi, elektroteknologi og realfag ved Høgskulen på Vestlandet
1 - 2 av 2

Kapitler/Artikler Kapitler/Artikler

Deadlock checking by data race detection.

Pun, Ka I; Steffen, Martin; Stolz, Volker. 2012, Universitetet i Bergen. UIOVitenskapelig Kapittel/Artikkel/Konferanseartikkel

Model-Driven Engineering of Maritime Systems.

Rutle, Adrian; Schaathun, Hans Georg. 2012, Universitetet i Bergen. NTNUVitenskapelig Kapittel/Artikkel/Konferanseartikkel

Soundness of a Reasoning System for Asynchronous Communication with Futures.

Din, Crystal Chang; Owe, Olaf. 2012, Universitetet i Bergen. UIOVitenskapelig Kapittel/Artikkel/Konferanseartikkel

Compositional Analysis of Resource Bounds for Software Transactions.

Tran, Thi Mai Thuong; Steffen, Martin; Hoang, Truong. 2012, Universitetet i Bergen. UIOVitenskapelig Kapittel/Artikkel/Konferanseartikkel
1 - 4 av 4