Exploiting Symbolic Techniques in Automated Synthesis of Distributed Programs with Large State Space.

Borzoo Bonakdarpour, Sandeep S. Kulkarni

Browse the full ICDCS paper archive.