Info
Meny
English
Logg inn
Søk etter prosjekter, resultater og personer
Søk etter prosjekter, resultater og personer
Historikk
Cristin-resultat-ID:
534295
Sist endret:
21. januar 2015, 16:10
Resultat
Vitenskapelig Kapittel/Artikkel/Konferanseartikkel
2010
Observable Behavior of Dynamic Systems: Component Reasoning for Concurrenct Objects
Crystal Chang Din
Johan Dovland
Einar Broch Johnsen
og
Olaf Owe
Bok
Bok
Proceedings of the 22nd Nordic Workshop on Programming Theory, NWPT'10
ISBN:
978-952-12-2478-2
Utgiver
TUCS
Serie
TUCS General Publications
ISSN 1239-1905
Om resultatet
Om resultatet
Vitenskapelig Kapittel/Artikkel/Konferanseartikkel
Publiseringsår: 2010
Hefte: 57
Sider: 26 - 27
ISBN:
978-952-12-2478-2
Lenker
Lenker
ORIA
Søk i ORIA med 978-952-12-2478-2
Beskrivelse
Beskrivelse
Engelsk
Tittel
Observable Behavior of Dynamic Systems: Component Reasoning for Concurrenct Objects
Bidragsytere
Bidragsytere
Crystal Chang Din
Forfatter
Johan Dovland
Forfatter
ved Pålitelige systemer ved Universitetet i Oslo
Einar Broch Johnsen
Forfatter
ved Pålitelige systemer ved Universitetet i Oslo
Olaf Owe
Forfatter
ved Pålitelige systemer ved Universitetet i Oslo
1
-
4
av
4
Resultatet er en del av
Resultatet er en del av
Proceedings of the 22nd Nordic Workshop on Programming Theory, NWPT'10.
Walden, Marina; Petre, Luigia. 2010,
Vitenskapelig antologi/Konferanseserie
1
-
1
av
1