Automated model repair for distributed programs

Borzoo Bonakdarpour, Sandeep S. Kulkarni. Automated model repair for distributed programs. SIGACT News, 43(2):85-107, 2012. [doi]

Abstract

Abstract is missing.