Ali Ebnenasir, Sandeep S. Kulkarni, Anish Arora
FTSyn: a framework for automatic synthesis of fault-tolerance
Abstract
Paper:
postscript
pdf
Return to the publication list
Return to the Sandeep's home page