Logotyp: till Uppsala universitets webbplats
uu.se
Publikationer från Uppsala universitet
Vänta ...
Enkel sökning
Avancerad sökning -
Forskningspublikationer
Avancerad sökning -
Studentuppsatser
Statistik
English
Svenska
Norsk
Hoppa till innehåll
Ändra sökning
Sök
Sök
Endast dokument med fulltext i DiVA
Referera
Exportera
BibTex
CSL-JSON
CSV 1
CSV 2
CSV 3
CSV 4
CSV 5
CSV all metadata
CSV all metadata version 2
RIS
Mods
MARC-XML
ETDMS
Länk till posten
Permanent länk
https://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-21153
Direktlänk
http://uu.diva-portal.org/smash/record.jsf?pid=diva2:48926
Referera
Referensformat
apa
ieee
modern-language-association
vancouver
Annat format
apa
ieee
modern-language-association
vancouver
Annat format
Fler format
Språk
de-DE
en-GB
en-US
fi-FI
nn-NO
nn-NB
sv-SE
Annat språk
de-DE
en-GB
en-US
fi-FI
nn-NO
nn-NB
sv-SE
Annat språk
Fler språk
Utmatningsformat
html
text
asciidoc
rtf
html
text
asciidoc
rtf
Skapa
Stäng
Verifying Qualitative Properties of Probabilistic Programs
Bollig, Benedikt
Leucker, Martin
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.
(Testing of Reactive Systems)
2004 (Svenska)
Ingår i:
Validation of Stochastic Systems: A Guide to Current Research, Springer , 2004, s. 124-146
Kapitel i bok, del av antologi (Refereegranskat)
Ort, förlag, år, upplaga, sidor
Springer , 2004. s. 124-146
Identifikatorer
URN:
urn:nbn:se:uu:diva-21153
ISBN:
3-540-22265-0 (tryckt)
OAI: oai:DiVA.org:uu-21153
DiVA, id:
diva2:48926
Tillgänglig från:
2006-12-15
Skapad:
2006-12-15
Open Access i DiVA
Fulltext saknas i DiVA
Av organisationen
Institutionen för informationsteknologi
Datorteknik
Sök vidare utanför DiVA
Google
Google Scholar
isbn
urn-nbn
Altmetricpoäng
isbn
urn-nbn
Totalt: 443 träffar
Referera
Exportera
BibTex
CSL-JSON
CSV 1
CSV 2
CSV 3
CSV 4
CSV 5
CSV all metadata
CSV all metadata version 2
RIS
Mods
MARC-XML
ETDMS
Länk till posten
Permanent länk
https://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-21153
Direktlänk
http://uu.diva-portal.org/smash/record.jsf?pid=diva2:48926
Referera
Referensformat
apa
ieee
modern-language-association
vancouver
Annat format
apa
ieee
modern-language-association
vancouver
Annat format
Fler format
Språk
de-DE
en-GB
en-US
fi-FI
nn-NO
nn-NB
sv-SE
Annat språk
de-DE
en-GB
en-US
fi-FI
nn-NO
nn-NB
sv-SE
Annat språk
Fler språk
Utmatningsformat
html
text
asciidoc
rtf
html
text
asciidoc
rtf
Skapa
Stäng
v. 2.47.0
|
WCAG
|
Uppsala universitetsbibliotek
|
Fråga biblioteket
|
Logga in i DiVA
|
Söka och länka i DiVA
DiVA
Logotyp