Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
Approximating Petri net reachability along context-free traces
Uppsala University, Disciplinary Domain of Science and Technology, Mathematics and Computer Science, Department of Information Technology, Computer Systems.
2011 (English)In: IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science: FSTTCS 2011, Dagstuhl, Germany: Leibniz-Zentrum für Informatik , 2011, 152-163 p.Conference paper, Published paper (Refereed)
Place, publisher, year, edition, pages
Dagstuhl, Germany: Leibniz-Zentrum für Informatik , 2011. 152-163 p.
Series
Leibniz International Proceedings in Informatics, ISSN 1868-8969 ; 13
National Category
Computer Science
Identifiers
URN: urn:nbn:se:uu:diva-159161DOI: 10.4230/LIPIcs.FSTTCS.2011.152ISBN: 978-3-939897-34-7 (print)OAI: oai:DiVA.org:uu-159161DiVA: diva2:442935
Conference
31st International Conference on Foundations of Software Technology IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2011), December 12-14, 2011, IIT Bombay, Mumbai, India
Projects
UPMARCautomated verification of highly concurrent algorithmsPetri nets
Available from: 2012-01-09 Created: 2011-09-22 Last updated: 2012-01-14Bibliographically approved

Open Access in DiVA

fulltext(561 kB)385 downloads
File information
File name FULLTEXT01.pdfFile size 561 kBChecksum SHA-512
ad1028f63f97752ce9e6f2e5f6c320c4870d4bc3a5224bf8db236e8bac3211b36d43d94abc81aa0a564e21273fda46de4cafb06b9af2c9f7c37d954df762b5a2
Type fulltextMimetype application/pdf

Other links

Publisher's full text

Search in DiVA

By author/editor
Atig, Mohamed Faouzi
By organisation
Computer Systems
Computer Science

Search outside of DiVA

GoogleGoogle Scholar
Total: 385 downloads
The number of downloads is the sum of all downloads of full texts. It may include eg previous versions that are now no longer available

doi
isbn
urn-nbn

Altmetric score

doi
isbn
urn-nbn
Total: 492 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf