SYCRAFT: A Tool for Synthesizing Distributed Fault-Tolerant Programs
Borzoo Bonakdarpour and Sandeep S. Kulkarni
Abstract
Paper:
postscript
pdf
Return to the publication list
Return to the Sandeep's home page