uu.seUppsala universitets publikasjoner
Endre søk
RefereraExporteraLink to record
Permanent link

Direct link
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association
  • vancouver
  • Annet format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annet språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf
Approximating Petri net reachability along context-free traces
Uppsala universitet, Teknisk-naturvetenskapliga vetenskapsområdet, Matematisk-datavetenskapliga sektionen, Institutionen för informationsteknologi, Datorteknik.
2011 (engelsk)Inngår i: IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science: FSTTCS 2011, Dagstuhl, Germany: Leibniz-Zentrum für Informatik , 2011, s. 152-163Konferansepaper, Publicerat paper (Fagfellevurdert)
sted, utgiver, år, opplag, sider
Dagstuhl, Germany: Leibniz-Zentrum für Informatik , 2011. s. 152-163
Serie
Leibniz International Proceedings in Informatics, ISSN 1868-8969 ; 13
HSV kategori
Identifikatorer
URN: urn:nbn:se:uu:diva-159161DOI: 10.4230/LIPIcs.FSTTCS.2011.152ISBN: 978-3-939897-34-7 (tryckt)OAI: oai:DiVA.org:uu-159161DiVA, id: diva2:442935
Konferanse
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
Prosjekter
UPMARCautomated verification of highly concurrent algorithmsPetri netsTilgjengelig fra: 2012-01-09 Laget: 2011-09-22 Sist oppdatert: 2018-01-12bibliografisk kontrollert

Open Access i DiVA

fulltext(561 kB)485 nedlastinger
Filinformasjon
Fil FULLTEXT01.pdfFilstørrelse 561 kBChecksum SHA-512
ad1028f63f97752ce9e6f2e5f6c320c4870d4bc3a5224bf8db236e8bac3211b36d43d94abc81aa0a564e21273fda46de4cafb06b9af2c9f7c37d954df762b5a2
Type fulltextMimetype application/pdf

Andre lenker

Forlagets fulltekst

Personposter BETA

Atig, Mohamed Faouzi

Søk i DiVA

Av forfatter/redaktør
Atig, Mohamed Faouzi
Av organisasjonen

Søk utenfor DiVA

GoogleGoogle Scholar
Totalt: 485 nedlastinger
Antall nedlastinger er summen av alle nedlastinger av alle fulltekster. Det kan for eksempel være tidligere versjoner som er ikke lenger tilgjengelige

doi
isbn
urn-nbn

Altmetric

doi
isbn
urn-nbn
Totalt: 629 treff
RefereraExporteraLink to record
Permanent link

Direct link
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association
  • vancouver
  • Annet format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annet språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf