On the Synthesis and Analysis of Protection Systems

Lawrence Snyder. On the Synthesis and Analysis of Protection Systems. In SOSP. pages 141-150, 1977.

Bibliographies