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
Architecture-aware Partial-order Reduction to Accelerate Model Checking of Networked Programs
Show others and affiliations
2007 (English)Conference paper, Published paper (Refereed)
Place, publisher, year, edition, pages
2007.
National Category
Computer Sciences
Identifiers
URN: urn:nbn:se:kth:diva-199153OAI: oai:DiVA.org:kth-199153DiVA, id: diva2:1060406
Conference
Third DIKU-IST workshop, Roskilde, Denmark
Note

QC 20170104

Available from: 2016-12-28 Created: 2016-12-28 Last updated: 2018-01-13Bibliographically approved

Open Access in DiVA

fulltext(72 kB)18 downloads
File information
File name FULLTEXT01.pdfFile size 72 kBChecksum SHA-512
9d6252ea725dd921798420e4517a4286dd9ab458863adea9092a9ed4bbc2f268414e6e11ea76b293e4042751a760ccddb6bcb659740fccd01cc96ca85ab3c9c4
Type fulltextMimetype application/pdf

Search in DiVA

By author/editor
Artho, Cyrille
Computer Sciences

Search outside of DiVA

GoogleGoogle Scholar
Total: 18 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

urn-nbn

Altmetric score

urn-nbn
Total: 53 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