Towards the Verification of Pervasive Systems

Myrto Arapinis, Muffy Calder, Louise Denis, Michael Fisher, Philip D. Gray, Savas Konur, Alice Miller, Eike Ritter, Mark Ryan, Sven Schewe, Chris Unsworth, Rehana Yasmin. Towards the Verification of Pervasive Systems. ECEASST, 22, 2009. [doi]

Abstract

Abstract is missing.