Specification and Proof of a Simple Fault Tolerant System in CCS
Report, 1984
Author
K V S Prasad
Subject Categories
Computer Science
Computer Science