Author:Clare Dixon

Publications
Formal Verification of Synchronisation, Gossip and Environmental Effects for Critical IoT Systems Matt Webster, Michael Breza, Clare Dixon, Michael Fisher and Julie McCann EasyChair Preprint 377
On and On the Temporal Way Clare Dixon and Michael Fisher In:HOWARD-60. A Festschrift on the Occasion of Howard Barringer's 60th Birthday