Specification and Proof of a Simple Fault Tolerant System in CCS
Rapport, 1984
Författare
K V S Prasad
Ämneskategorier
Datavetenskap (datalogi)