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

Författare

Ämneskategorier

Datavetenskap (datalogi)

Mer information

Skapat

2017-10-10