| 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 | |