Static race verification for networks with reconvergent clocks.

Joel Grodstein, Nick Rethman, Nevine Nassif

Browse the full ICCD paper archive.