Name
Title | Citations | PageRank | Year |
|---|---|---|---|
| Protocol validation by synthesizing communications system behaviors | 0 | 0.34 | 1981 |
| Another Approach for Proving Program Correctness | 0 | 0.34 | 1977 |
| Toward a mathematical theory of graph-generative systems and its applications | 1 | 0.54 | 1976 |