Logo: to the web site of Uppsala University
uu.se
Publikasjoner fra Uppsala universitet
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:uu:diva-267935
Direct link
http://uu.diva-portal.org/smash/record.jsf?pid=diva2:882224
Referera
Referensformat
apa
ieee
modern-language-association
vancouver
Annet format
apa
ieee
modern-language-association
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
Modal Logics for Nominal Transition Systems
Parrow, Joachim
Uppsala universitet, Teknisk-naturvetenskapliga vetenskapsområdet, Matematisk-datavetenskapliga sektionen, Institutionen för informationsteknologi, Datalogi.
(Mobility)
Borgström, Johannes
Uppsala universitet, Teknisk-naturvetenskapliga vetenskapsområdet, Matematisk-datavetenskapliga sektionen, Institutionen för informationsteknologi, Datalogi.
(Mobility)
ORCID-id:
0000-0001-5990-5742
Eriksson, Lars-Henrik
Uppsala universitet, Teknisk-naturvetenskapliga vetenskapsområdet, Matematisk-datavetenskapliga sektionen, Institutionen för informationsteknologi, Datalogi.
(Mobility)
Gutkovas, Ramunas
Uppsala universitet, Teknisk-naturvetenskapliga vetenskapsområdet, Matematisk-datavetenskapliga sektionen, Institutionen för informationsteknologi, Datalogi.
(Mobility)
Weber, Tjark
Uppsala universitet, Teknisk-naturvetenskapliga vetenskapsområdet, Matematisk-datavetenskapliga sektionen, Institutionen för informationsteknologi, Datalogi.
(Mobility)
Vise andre og tillknytning
2015 (engelsk)
Inngår i:
26th International Conference on Concurrency Theory: CONCUR 2015, Dagstuhl, Germany: Leibniz-Zentrum für Informatik , 2015, s. 198-211
Konferansepaper, Publicerat paper (Fagfellevurdert)
sted, utgiver, år, opplag, sider
Dagstuhl, Germany: Leibniz-Zentrum für Informatik , 2015. s. 198-211
Serie
Leibniz International Proceedings in Informatics (LIPIcs), ISSN 1868-8969 ; 42
HSV kategori
Identifikatorer
URN:
urn:nbn:se:uu:diva-267935
DOI:
10.4230/LIPIcs.CONCUR.2015.198
ISBN:
978-3-939897-91-0 (tryckt)
OAI: oai:DiVA.org:uu-267935
DiVA, id:
diva2:882224
Konferanse
CONCUR 2015, September 1–4, Madrid, Spain
Prosjekter
UPMARC
Forskningsfinansiär
Swedish Research Council, 2014-5478
Swedish Foundation for Strategic Research
Tilgjengelig fra:
2015-12-14
Laget:
2015-11-30
Sist oppdatert:
2018-01-19
bibliografisk kontrollert
Open Access i DiVA
Fulltekst mangler i DiVA
Andre lenker
Forlagets fulltekst
Person
Parrow, Joachim
Borgström, Johannes
Eriksson, Lars-Henrik
Gutkovas, Ramunas
Weber, Tjark
Søk i DiVA
Av forfatter/redaktør
Parrow, Joachim
Borgström, Johannes
Eriksson, Lars-Henrik
Gutkovas, Ramunas
Weber, Tjark
Av organisasjonen
Om emnet
Søk utenfor DiVA
Google
Google Scholar
doi
isbn
urn-nbn
Altmetric
doi
isbn
urn-nbn
Totalt: 510 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:uu:diva-267935
Direct link
http://uu.diva-portal.org/smash/record.jsf?pid=diva2:882224
Referera
Referensformat
apa
ieee
modern-language-association
vancouver
Annet format
apa
ieee
modern-language-association
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.49.0
|
WCAG
|
Uppsala universitetsbibliotek
|
Spør biblioteket
|
DiVA Logg in
|
Søk og lenke i DiVA (svensk)
DiVA
Logotyp