Boyd, A., Balasubramaniam, D., Dearle, A. & Morrison, R., 7 Jun 2010, 2010 IEEE International Conference on Sensor Networks, Ubiquitous, and Trustworthy Computing: SUTC 2010.IEEE Computer Society, p. 268-2758 p.
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Dearle, A., Kirby, G. & Morrison, R., 1 Jul 2009, Object Databases: Second International Conference, ICOODB 2009. Norrie, M. C. & Grossniklaus, M. (eds.). Berlin: Springer-Verlag, p. 1-22 (Lecture Notes in Computer Science; vol. 5936/2010).
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