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

Författare

Ämneskategorier (SSIF 2011)

Datavetenskap (datalogi)

Mer information

Skapat

2017-10-10