Skip to content

Using synchronized atoms to check distributed programs.

Hon Fung Li, Eslam Al Maghayreh

VenueBICPADS
Year2007
ProceedingsICPADS

Browse the full ICPADS paper archive.