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-48997
Direct link
https://uu.diva-portal.org/smash/record.jsf?pid=diva2:76904
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
Algorithmic Improvements in Regular Model Checking
Abdulla, Parosh Aziz
Uppsala universitet, Teknisk-naturvetenskapliga vetenskapsområdet, Matematisk-datavetenskapliga sektionen, Institutionen för informationsteknologi. Uppsala universitet, Teknisk-naturvetenskapliga vetenskapsområdet, Matematisk-datavetenskapliga sektionen, Institutionen för informationsteknologi, Datorteknik. Datorteknik.
Jonsson, Bengt
Uppsala universitet, Teknisk-naturvetenskapliga vetenskapsområdet, Matematisk-datavetenskapliga sektionen, Institutionen för informationsteknologi. Uppsala universitet, Teknisk-naturvetenskapliga vetenskapsområdet, Matematisk-datavetenskapliga sektionen, Institutionen för informationsteknologi, Datorteknik. Datorteknik.
Nilsson, Marcus
Uppsala universitet, Teknisk-naturvetenskapliga vetenskapsområdet, Matematisk-datavetenskapliga sektionen, Institutionen för informationsteknologi. Uppsala universitet, Teknisk-naturvetenskapliga vetenskapsområdet, Matematisk-datavetenskapliga sektionen, Institutionen för informationsteknologi, Datorteknik. Datorteknik.
d'Orso, Julien
Uppsala universitet, Teknisk-naturvetenskapliga vetenskapsområdet, Matematisk-datavetenskapliga sektionen, Institutionen för informationsteknologi. Uppsala universitet, Teknisk-naturvetenskapliga vetenskapsområdet, Matematisk-datavetenskapliga sektionen, Institutionen för informationsteknologi, Datorteknik. Datorteknik.
2003 (engelsk)
Inngår i:
CAV'03, 15th Int. Conf. Computer Aided Verification, 2003, s. 236-248
Konferansepaper, Publicerat paper (Fagfellevurdert)
sted, utgiver, år, opplag, sider
2003. s. 236-248
Identifikatorer
URN:
urn:nbn:se:uu:diva-48997
ISBN:
3-540-40524-0 (tryckt)
OAI: oai:DiVA.org:uu-48997
DiVA, id:
diva2:76904
Tilgjengelig fra:
2006-12-15
Laget:
2006-12-15
Open Access i DiVA
Fulltekst mangler i DiVA
Av organisasjonen
Søk utenfor DiVA
Google
Google Scholar
isbn
urn-nbn
Altmetric
isbn
urn-nbn
Totalt: 545 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-48997
Direct link
https://uu.diva-portal.org/smash/record.jsf?pid=diva2:76904
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.47.0
|
WCAG
|
Uppsala universitetsbibliotek
|
Spør biblioteket
|
DiVA Logg in
|
Søk og lenke i DiVA (svensk)
DiVA
Logotyp