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

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

Computer Science

Research output: Contribution to conference (unpublished) › Paper

Original language	English
Pages	31-36
Number of pages	6
Publication status	Published - 1 Nov 2009

Cite this

@conference{5718df8d71a1487d9d3d4c6b03d5175e,

title = "Towards the Verification of Pervasive Systems, Proceedings of the Third International Workshop on Formal Methods for Interactive Systems (FMIS2009)",

author = "Myrto Arapinis and M Calder and L Denis and M Fisher and P Gray and S Konour and A Miller and Eike Ritter and Mark Ryan and S Schewe and C Unsworth and Rehana Yasmin",

year = "2009",

month = nov,

day = "1",

language = "English",

pages = "31--36",

}

TY - CONF

T1 - Towards the Verification of Pervasive Systems, Proceedings of the Third International Workshop on Formal Methods for Interactive Systems (FMIS2009)

AU - Arapinis, Myrto

AU - Calder, M

AU - Denis, L

AU - Fisher, M

AU - Gray, P

AU - Konour, S

AU - Miller, A

AU - Ritter, Eike

AU - Ryan, Mark

AU - Schewe, S

AU - Unsworth, C

AU - Yasmin, Rehana

PY - 2009/11/1

Y1 - 2009/11/1

M3 - Paper

SP - 31

EP - 36

ER -