Specification and Proof of a Simple Fault Tolerant System in CCS
Rapport, 1984

Författare

Ämneskategorier

Datavetenskap (datalogi)