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-72684
Direct link
http://uu.diva-portal.org/smash/record.jsf?pid=diva2:100595
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
SAT-solving the Coverability Problem for Unbounded Petri Nets
Abdulla, Parosh
Uppsala University, Disciplinary Domain of Science and Technology, Mathematics and Computer Science, Department of Information Technology, Computer Systems. Datorteknik.
(Algoritmic Program Verification)
Iyer, Purushothaman
Nylén, Aletta
Uppsala University, Disciplinary Domain of Science and Technology, Mathematics and Computer Science, Department of Information Technology, Computer Systems.
2004 (English)
In:
Formal methods in system design, ISSN 0925-9856, E-ISSN 1572-8102, Vol. 24, no 1, p. 25-43
Article in journal (Refereed) Published
Place, publisher, year, edition, pages
The Netherlands: Kluwer Academic Publishers, 2004. Vol. 24, no 1, p. 25-43
Keywords [en]
Infinite state systems, Petri nets, coverability, partial-order methods, unfoldings
National Category
Computer Sciences
Research subject
Computer Science
Identifiers
URN:
urn:nbn:se:uu:diva-72684
OAI: oai:DiVA.org:uu-72684
DiVA, id:
diva2:100595
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/UnfoldingSAT.ps
Authority records
Abdulla, Parosh
Nylén, Aletta
Search in DiVA
By author/editor
Abdulla, Parosh
Nylén, Aletta
By organisation
Computer Systems
In the same journal
Formal methods in system design
On the subject
Computer Sciences
Search outside of DiVA
Google
Google Scholar
urn-nbn
Altmetric score
urn-nbn
Total: 970 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-72684
Direct link
http://uu.diva-portal.org/smash/record.jsf?pid=diva2:100595
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