vente ...
Enkelt søk
Avansert søk
Statistikk
English
Svenska
Norsk
Jump to content
Endre søk
Søk
Søk
Kun dokumenter med fulltekst i DiVA
Referera
Exportera
BibTex
CSL-JSON
CSV 1
CSV 2
CSV 3
CSV 4
CSV 4
CSV alle metadata
CSV alle metadata version 2
RIS
Mods
MARC-XML
ETDMS
Link to record
Permanent link
https://urn.kb.se/resolve?urn=urn:nbn:se:ri:diva-22759
Direct link
http://ri.diva-portal.org/smash/record.jsf?pid=diva2:1042324
Referera
Referensformat
apa
ieee
modern-language-association-8th-edition
vancouver
Annet format
apa
ieee
modern-language-association-8th-edition
vancouver
Annet format
Fler format
Språk
de-DE
en-GB
en-US
fi-FI
nn-NO
nn-NB
sv-SE
Annet språk
de-DE
en-GB
en-US
fi-FI
nn-NO
nn-NB
sv-SE
Annet språk
Fler språk
Utmatningsformat
html
text
asciidoc
rtf
html
text
asciidoc
rtf
Skapa
Stäng
Toward parametric verification of open distributed systems
Dam, Mads
RISE - Research Institutes of Sweden, IKT, SICS.
Fredlund, Lars-Åke
RISE - Research Institutes of Sweden, IKT, SICS.
Gurov, Dilian
RISE - Research Institutes of Sweden, IKT, SICS.
1998 (engelsk)
Inngår i:
Compositionality: The Significant Difference, Springer-Verlag , 1998, Vol. 1536, s. 150-185
Kapittel i bok, del av antologi (Fagfellevurdert)
sted, utgiver, år, opplag, sider
Springer-Verlag , 1998. Vol. 1536, s. 150-185
Serie
Lecture Notes In Computer Science ; 1536
HSV kategori
Identifikatorer
URN:
urn:nbn:se:ri:diva-22759
OAI: oai:DiVA.org:ri-22759
DiVA, id:
diva2:1042324
Tilgjengelig fra:
2016-10-31
Laget:
2016-10-31
Sist oppdatert:
2018-01-14
bibliografisk kontrollert
Open Access i DiVA
Fulltekst mangler i DiVA
Av organisasjonen
Om emnet
Søk utenfor DiVA
Google
Google Scholar
urn-nbn
Altmetric
urn-nbn
Totalt: 13 treff
Referera
Exportera
BibTex
CSL-JSON
CSV 1
CSV 2
CSV 3
CSV 4
CSV 4
CSV alle metadata
CSV alle metadata version 2
RIS
Mods
MARC-XML
ETDMS
Link to record
Permanent link
https://urn.kb.se/resolve?urn=urn:nbn:se:ri:diva-22759
Direct link
http://ri.diva-portal.org/smash/record.jsf?pid=diva2:1042324
Referera
Referensformat
apa
ieee
modern-language-association-8th-edition
vancouver
Annet format
apa
ieee
modern-language-association-8th-edition
vancouver
Annet format
Fler format
Språk
de-DE
en-GB
en-US
fi-FI
nn-NO
nn-NB
sv-SE
Annet språk
de-DE
en-GB
en-US
fi-FI
nn-NO
nn-NB
sv-SE
Annet språk
Fler språk
Utmatningsformat
html
text
asciidoc
rtf
html
text
asciidoc
rtf
Skapa
Stäng
v. 2.41.0
DiVA
Logotyp