Logo: to the web site of Uppsala University
uu.se
Publications from Uppsala University
Please wait ...
Simple search
Advanced search -
Research publications
Advanced search -
Student theses
Statistics
English
Svenska
Norsk
Jump to content
Change search
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
https://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-72677
Direct link
http://uu.diva-portal.org/smash/record.jsf?pid=diva2:100588
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
Open, Closed and Robust Timed Networks.
Abdulla, Parosh
Uppsala University, Teknisk-naturvetenskapliga vetenskapsområdet, Mathematics and Computer Science, Department of Information Technology. Uppsala University, Teknisk-naturvetenskapliga vetenskapsområdet, Mathematics and Computer Science, Department of Information Technology, Computer Systems. Datorteknik.
(Algoritmic Program Verification)
Deneux, Johann
Uppsala University, Teknisk-naturvetenskapliga vetenskapsområdet, Mathematics and Computer Science, Department of Information Technology. Uppsala University, Teknisk-naturvetenskapliga vetenskapsområdet, Mathematics and Computer Science, Department of Information Technology, Computer Systems. Datorteknik.
(Algoritmic Program Verification)
Mahata, Pritha
Uppsala University, Teknisk-naturvetenskapliga vetenskapsområdet, Mathematics and Computer Science, Department of Information Technology. Uppsala University, Teknisk-naturvetenskapliga vetenskapsområdet, Mathematics and Computer Science, Department of Information Technology, Computer Systems. Datorteknik.
(Algoritmic Program Verification)
2004 (English)
In:
CONCUR 2004 -- Concurrency Theory: 15th International Conference, London, UK, August 31 - September 3, 2004, Proceedings, 2004, p. 529-
Conference paper, Published paper (Refereed)
Place, publisher, year, edition, pages
2004. p. 529-
National Category
Computer Sciences
Identifiers
URN:
urn:nbn:se:uu:diva-72677
ISBN:
3-540-22940-X (print)
OAI: oai:DiVA.org:uu-72677
DiVA, id:
diva2:100588
Available from:
2006-12-07
Created:
2006-12-07
Last updated:
2018-01-14
Open Access in DiVA
No full text in DiVA
Other links
http://user.it.uu.se/~parosh/publications/robust.ps
Authority records
Abdulla, Parosh
Deneux, Johann
Search in DiVA
By author/editor
Abdulla, Parosh
Deneux, Johann
By organisation
Department of Information Technology
Computer Systems
On the subject
Computer Sciences
Search outside of DiVA
Google
Google Scholar
isbn
urn-nbn
Altmetric score
isbn
urn-nbn
Total: 913 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
https://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-72677
Direct link
http://uu.diva-portal.org/smash/record.jsf?pid=diva2:100588
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.46.0
|
WCAG
|
Uppsala University Library
|
Ask the Library
|
Log in to DiVA
|
Search and link in DiVA
DiVA
Logotyp