|
Journals in DBLP
- Carl E. Landwehr
Formal Models for Computer Security. [Citation Graph (13, 0)][DBLP] ACM Comput. Surv., 1981, v:13, n:3, pp:247-278 [Journal]
- Maureen Harris Cheheyl, Morrie Gasser, George A. Huff, Jonathan K. Millen
Verifying Security. [Citation Graph (0, 0)][DBLP] ACM Comput. Surv., 1981, v:13, n:3, pp:279-339 [Journal]
- Jacques Cohen
Garbage Collection of Linked Data Structures. [Citation Graph (6, 0)][DBLP] ACM Comput. Surv., 1981, v:13, n:3, pp:341-367 [Journal]
- Aristides A. G. Requicha
Surveyor's Forum: An Update on SynthaVision. [Citation Graph (0, 0)][DBLP] ACM Comput. Surv., 1981, v:13, n:3, pp:369- [Journal]
- Herbert A. Steinberg
Surveyor's Forum: An Update on SynthaVision. [Citation Graph (0, 0)][DBLP] ACM Comput. Surv., 1981, v:13, n:3, pp:369- [Journal]
- Douglas J. Keenan
Surveyor's Forum: Generating Solutions. [Citation Graph (0, 0)][DBLP] ACM Comput. Surv., 1981, v:13, n:3, pp:370- [Journal]
- George S. Lueker
Surveyor's Forum: Generating Solutions. [Citation Graph (0, 0)][DBLP] ACM Comput. Surv., 1981, v:13, n:3, pp:370- [Journal]
|