Original language | English |
---|---|
Pages | 31-36 |
Number of pages | 6 |
Publication status | Published - 1 Nov 2009 |
Towards the Verification of Pervasive Systems, Proceedings of the Third International Workshop on Formal Methods for Interactive Systems (FMIS2009)
Myrto Arapinis, M Calder, L Denis, M Fisher, P Gray, S Konour, A Miller, Eike Ritter, Mark Ryan, S Schewe, C Unsworth, Rehana Yasmin
Research output: Contribution to conference (unpublished) › Paper