EasyChair Smart SlideDocs/Log in
Author: Clare Dixon

This page shows all presentations of this author published in EasyChair Smart Slide.

Buy One Get 14 Free: Evaluating Local Reductions for Modal Logic

Buy One Get 14 Free: Evaluating Local Reductions for Modal Logic

Cláudia Nalon, Ullrich Hustadt, Fabio Papacchini and Clare Dixon

Formal Verification of Synchronisation, Gossip and Environmental Effects for Critical IoT Systems

Formal Verification of Synchronisation, Gossip and Environmental Effects for Critical IoT Systems

Matt Webster, Michael Breza, Clare Dixon, Michael Fisher and Julie McCann

Presentations in this collection: 2
Copyright © 2002 – 2024 EasyChair