Model-Checking Fault-Tolerant Clock Synchronization Protocols

Date: Thursday, April 11, 2013
Speaker: Wilfried Steiner
Venue: TU Wien

Posted in RiSE Seminar