Journal of the ACM （JOLACM） - Issue 197 论文列表
| 点击这里查看 Journal of the ACM 的JCR分区、影响因子等信息 |
| 卷期号： Issue 197 |
| 发布时间： |
| 卷期年份： 2000 |
| 卷期官网： |
本期论文列表
An automata-theoretic approach to branching-time model checking.
An
Eavesdropping games: a graph-theoretic approach to privacy in distributed systems.
Making abstract interpretations complete.
The fault span of crash failures.