Jonathan Lewis (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

5 Oliver Sharma, Jonathan Lewis, Alice Miller, Alan Dearle, Dharini Balasubramaniam, Ronald Morrison, Joe Sventek: Towards Verifying Correctness of Wireless Sensor Network Applications Using Insense and Spin. SPIN 2009: 223-240

4 Alan Dearle, Dharini Balasubramaniam, Jonathan Lewis, Ronald Morrison: A Component-Based Model and Language for Wireless Sensor Network Applications. COMPSAC 2008: 1303-1308

Selection of 2 from 5 records - Jonathan Lewis has 11 coauthors

5		Oliver Sharma, Jonathan Lewis, Alice Miller, Alan Dearle, Dharini Balasubramaniam, Ronald Morrison, Joe Sventek: Towards Verifying Correctness of Wireless Sensor Network Applications Using Insense and Spin. SPIN 2009: 223-240
4		Alan Dearle, Dharini Balasubramaniam, Jonathan Lewis, Ronald Morrison: A Component-Based Model and Language for Wireless Sensor Network Applications. COMPSAC 2008: 1303-1308