Grace, P., Georgantas, N., Bennaceur, A.,
Blair, G., Chauvel, F., Issarny, V., Paolucci, M., Saadi, R., Souville, B. & Sykes, D.,
2011,
Formal Methods for Eternal Networked Software Systems: 11th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2011, Bertinoro, Italy, June 13-18, 2011. Advanced Lectures. Bernardo, M. & Issarny, V. (eds.). Berlin:
Springer Verlag,
p. 27-52 26 p. (Lecture Notes in Computer Science; vol. 6659).
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review