uu.se
Uppsala University Publications
Please wait ...
Simple search
Advanced search -
Research publications
Advanced search -
Student theses
Statistics
English
Svenska
Norsk
Change search
Search
Only documents with full text in DiVA
Cite
Export
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
Link to record
Permanent link
http://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-367961
Direct link
http://uu.diva-portal.org/smash/record.jsf?pid=diva2:1267282
Cite
Citation style
apa
ieee
modern-language-association
vancouver
Other style
apa
ieee
modern-language-association
vancouver
Other style
More styles
Language
de-DE
en-GB
en-US
fi-FI
nn-NO
nn-NB
sv-SE
Other locale
de-DE
en-GB
en-US
fi-FI
nn-NO
nn-NB
sv-SE
Other locale
More languages
Output format
html
text
asciidoc
rtf
html
text
asciidoc
rtf
Create
Close
Complexity of reachability for data-aware dynamic systems
Abdulla, Parosh Aziz
Uppsala University, Disciplinary Domain of Science and Technology, Mathematics and Computer Science, Department of Information Technology, Computer Systems.
Aiswarya, C.
Atig, Mohamed Faouzi
Uppsala University, Disciplinary Domain of Science and Technology, Mathematics and Computer Science, Department of Information Technology, Computer Systems.
Montali, Marco
Rezine, Othmane
Uppsala University, Disciplinary Domain of Science and Technology, Mathematics and Computer Science, Department of Information Technology, Computer Systems.
Show others and affiliations
2018 (English)
In:
Proc. 18th International Conference on Application of Concurrency to System Design, IEEE Computer Society, 2018, p. 11-20
Conference paper, Published paper (Refereed)
Place, publisher, year, edition, pages
IEEE Computer Society, 2018. p. 11-20
National Category
Computer Sciences
Identifiers
URN:
urn:nbn:se:uu:diva-367961
DOI:
10.1109/ACSD.2018.000-3
ISBN:
978-1-5386-7013-2 (electronic)
OAI: oai:DiVA.org:uu-367961
DiVA, id:
diva2:1267282
Conference
ACSD 2018, June 24–29, Bratislava, Slovakia
Available from:
2018-11-30
Created:
2018-11-30
Last updated:
2018-12-07
Bibliographically approved
Open Access in DiVA
No full text in DiVA
Other links
Publisher's full text
Authority records BETA
Abdulla, Parosh Aziz
Atig, Mohamed Faouzi
Rezine, Othmane
Search in DiVA
By author/editor
Abdulla, Parosh Aziz
Atig, Mohamed Faouzi
Rezine, Othmane
By organisation
Computer Systems
On the subject
Computer Sciences
Search outside of DiVA
Google
Google Scholar
doi
isbn
urn-nbn
Altmetric score
doi
isbn
urn-nbn
Total: 482 hits
Cite
Export
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
Link to record
Permanent link
http://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-367961
Direct link
http://uu.diva-portal.org/smash/record.jsf?pid=diva2:1267282
Cite
Citation style
apa
ieee
modern-language-association
vancouver
Other style
apa
ieee
modern-language-association
vancouver
Other style
More styles
Language
de-DE
en-GB
en-US
fi-FI
nn-NO
nn-NB
sv-SE
Other locale
de-DE
en-GB
en-US
fi-FI
nn-NO
nn-NB
sv-SE
Other locale
More languages
Output format
html
text
asciidoc
rtf
html
text
asciidoc
rtf
Create
Close
v. 2.35.9
|
Uppsala University Library
|
Ask the Library
|
DiVA Log in
|
Search and link in DiVA