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