External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Tags

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Deriving State Machines from TinyOS Programs Using Symbolic Execution

Nupur Kothari, Todd D. Millstein, Ramesh Govindan. Deriving State Machines from TinyOS Programs Using Symbolic Execution. In Proceedings of the 7th International Conference on Information Processing in Sensor Networks, IPSN 2008, St. Louis, Missouri, USA, April 22-24, 2008. pages 271-282, IEEE Computer Society, 2008. [doi]

Authors

Nupur Kothari

This author has not been identified. Look up 'Nupur Kothari' in Google

Todd D. Millstein

Identified as Todd D. Millstein

Ramesh Govindan

This author has not been identified. It may be one of the following persons: Look up 'Ramesh Govindan' in Google
runs on