Work

Constraint Based Automated Synthesis of Nonmasking and Stabilizing Fault-Tolerance

Year: 2009

Type: conference-paper

Source: IEEE Symposium on Reliable Distributed Systems (SRDS)

DOI: 10.1109/srds.2009.11

Authors: Fuad Abujarad, Sandeep Kulkarni

Institution: Michigan State University

Language: English

Topic: Distributed systems and fault tolerance

Subfield: Computer Networks and Communications

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W2118029801

FWCI: 0.809

Cites: 21

Cited by: 5

Related to: 10