liu.se
Search for publications in DiVA
vente ...
Enkelt søk
Avansert søk -
Forskningspublikasjoner
Avansert søk -
Studentoppgaver
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:liu:diva-164321
Direct link
https://liu.diva-portal.org/smash/record.jsf?pid=diva2:1415141
Referera
Referensformat
apa
ieee
modern-language-association-8th-edition
vancouver
oxford
Annet format
apa
ieee
modern-language-association-8th-edition
vancouver
oxford
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
Extending temporal action logic for ramification and concurrency
Gustafsson, Joakim
Linköpings universitet, Institutionen för datavetenskap. Linköpings universitet, Tekniska högskolan.
1998 (engelsk)
Licentiatavhandling, monografi (Annet vitenskapelig)
sted, utgiver, år, opplag, sider
Linköping: Univ. , 1998. , s. 121
Serie
Linköping Studies in Science and Technology. Thesis, ISSN 0280-7971 ; 719
Identifikatorer
URN:
urn:nbn:se:liu:diva-164321
Lokal ID: LiU-TEK-LIC-1998:54
ISBN:
9172192879 (tryckt)
OAI: oai:DiVA.org:liu-164321
DiVA, id:
diva2:1415141
Tilgjengelig fra:
2020-03-17
Laget:
2020-03-17
Sist oppdatert:
2020-03-17
bibliografisk kontrollert
Open Access i DiVA
Fulltekst mangler i DiVA
Søk i DiVA
Av forfatter/redaktør
Gustafsson, Joakim
Av organisasjonen
Søk utenfor DiVA
Google
Google Scholar
isbn
urn-nbn
Altmetric
isbn
urn-nbn
Totalt: 99 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:liu:diva-164321
Direct link
https://liu.diva-portal.org/smash/record.jsf?pid=diva2:1415141
Referera
Referensformat
apa
ieee
modern-language-association-8th-edition
vancouver
oxford
Annet format
apa
ieee
modern-language-association-8th-edition
vancouver
oxford
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.47.0
|
Om tillgänglighet
|
DiVA portal
|
DiVA Logga in
|
Kontakta oss
|
LiU universitetbibliotek
|
SwePub
|
Uppsök
DiVA
Logotyp