Model-Checking Fault-Tolerant Clock Synchronization Protocols

Joint workshop with PUMA

October 10–16 2010

The workshop was held in Szentendre with a number of talks given by PUMA and ARiSE members.
See here for the full programme.