uu.seUppsala University Publications
Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation 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
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
Integrating Symbolic Execution with Sensornet Simulation for Efficient Bug Finding
SICS.
SICS.
Show others and affiliations
2010 (English)Conference paper, Published paper (Refereed)
Place, publisher, year, edition, pages
2010.
Identifiers
URN: urn:nbn:se:uu:diva-142547OAI: oai:DiVA.org:uu-142547DiVA: diva2:387668
Conference
ACM SenSys 2010, 3-5 November 2010, Zurich, Switzerland.
Projects
wisenet
Available from: 2011-01-14 Created: 2011-01-14 Last updated: 2011-01-18

Open Access in DiVA

No full text

Other links

http://soda.swedish-ict.se/4001/

Search outside of DiVA

GoogleGoogle Scholar

urn-nbn

Altmetric score

urn-nbn
Total: 387 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation 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
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf