Oxford logo
[BK09a] D. Bucur and M. Kwiatkowska. Towards Software Verification for TinyOS Applications. In Proc. Workshop on Formal Approaches to Ubiquitous Systems (FAUSt '09). Extended abstract. September 2009. [pdf]
Downloads:  pdf pdf (62 KB)
Links: [Google] [Google Scholar] [CiteSeer]

QAV:

>  Home

>  People

>  Projects

>  Publications