uu.se
Uppsala universitets publikationer
Vänta ...
Enkel sökning
Avancerad sökning -
Forskningspublikationer
Avancerad sökning -
Studentuppsatser
Statistik
English
Svenska
Norsk
Ändra sökning
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
http://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-367961
Direktlänk
http://uu.diva-portal.org/smash/record.jsf?pid=diva2:1267282
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
Complexity of reachability for data-aware dynamic systems
Abdulla, Parosh Aziz
Uppsala universitet, Teknisk-naturvetenskapliga vetenskapsområdet, Matematisk-datavetenskapliga sektionen, Institutionen för informationsteknologi, Datorteknik.
Aiswarya, C.
Atig, Mohamed Faouzi
Uppsala universitet, Teknisk-naturvetenskapliga vetenskapsområdet, Matematisk-datavetenskapliga sektionen, Institutionen för informationsteknologi, Datorteknik.
Montali, Marco
Rezine, Othmane
Uppsala universitet, Teknisk-naturvetenskapliga vetenskapsområdet, Matematisk-datavetenskapliga sektionen, Institutionen för informationsteknologi, Datorteknik.
Visa övriga samt affilieringar
2018 (Engelska)
Ingår i:
Proc. 18th International Conference on Application of Concurrency to System Design, IEEE Computer Society, 2018, s. 11-20
Konferensbidrag, Publicerat paper (Refereegranskat)
Ort, förlag, år, upplaga, sidor
IEEE Computer Society, 2018. s. 11-20
Nationell ämneskategori
Datavetenskap (datalogi)
Identifikatorer
URN:
urn:nbn:se:uu:diva-367961
DOI:
10.1109/ACSD.2018.000-3
ISBN:
978-1-5386-7013-2 (digital)
OAI: oai:DiVA.org:uu-367961
DiVA, id:
diva2:1267282
Konferens
ACSD 2018, June 24–29, Bratislava, Slovakia
Tillgänglig från:
2018-11-30
Skapad:
2018-11-30
Senast uppdaterad:
2018-12-07
Bibliografiskt granskad
Open Access i DiVA
Fulltext saknas i DiVA
Övriga länkar
Förlagets fulltext
Personposter BETA
Abdulla, Parosh Aziz
Atig, Mohamed Faouzi
Rezine, Othmane
Sök vidare i DiVA
Av författaren/redaktören
Abdulla, Parosh Aziz
Atig, Mohamed Faouzi
Rezine, Othmane
Av organisationen
Datorteknik
I ämnet
Datavetenskap (datalogi)
Sök vidare utanför DiVA
Google
Google Scholar
doi
isbn
urn-nbn
Altmetricpoäng
doi
isbn
urn-nbn
Totalt: 586 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
http://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-367961
Direktlänk
http://uu.diva-portal.org/smash/record.jsf?pid=diva2:1267282
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.35.9
|
Uppsala universitetsbibliotek
|
Fråga biblioteket
|
DiVA Logga in
|
Söka och länka i DiVA