Software Composition and Verification for Sensor Networks | |
---|---|
Author | |
Year of Publication |
2005
|
Journal |
Science of Computer Programming (Elsevier)
|
Volume |
56
|
Number of Pages |
191--210
|
Date Published |
April
|
Attachments |
Document
|
Google Scholar | BibTeX | XML |