Symbolic synthesis of masking fault-tolerant distributed programs
scientific article; zbMATH DE number 6134264
scientific article