Harvey, P., Dearle, A., Lewis, J. P. & Sventek, J., 2012, SENSORNETS 2012 - Proceedings of the 1st International Conference on Sensor Networks.p. 35-44
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Sharma, O., Lewis, J. P., Miller, A., Dearle, A., Balasubramaniam, D., Morrison, R. & Sventek, J., 2009, Model Checking Software: 16th International SPIN Workshop, Grenoble, France, June 26-28, 2009, Proceedings. Pasareanu, C. S. (ed.). Springer, p. 223-24018 p. (Lecture Notes in Computer Science; vol. 5578).
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution