Specification and Proof of a Simple Fault Tolerant System in CCS
Rapport, 1984
Författare
K V S Prasad
Ämneskategorier
Datavetenskap (datalogi)
Feedback och support
Om tjänsten
Research.chalmers.se innehåller information om forskning på Chalmers, publikationer och projekt inklusive information om finansiärer och samarbetspartners.
Läs mer om tjänsten, täckningsgrad och vilka som kan se informationen