DMCA

Verification of clock synchronization algorithms: Experiments on a combination of deductive tools (2005)

by Damian Barsotti , Leonor Prensa Nieto , Alwen Tiu
Venue:IN PROCEEDINGS OF AVOCS 2005, VOLUME 145 OF ENTCS
Citations:15 - 3 self