共 30 条
- [1] ATTANASIO CR, 1973, P ACM WORKSHOP VIRTU
- [2] *BURR CORP, 1972, B6700 INF PROC SYST
- [3] BUZEN JP, 1973, P ACM WORKSHOP VIRTU
- [4] *DIG EQ CORP, 1973, PDP10 TIM HDB
- [5] STRUCTURE OF THE-MULTIPROGRAMMING SYSTEM [J]. COMMUNICATIONS OF THE ACM, 1968, 11 (05) : 341 - &
- [6] DYNAMIC VERIFICATION OF OPERATING SYSTEM DECISIONS [J]. COMMUNICATIONS OF THE ACM, 1973, 16 (11) : 659 - 668
- [7] GOLDBERG R, 1972, THESIS HARVARD U
- [9] GOLDBERG RP, 1971, SEP P IEEE COMP SOC, P141
- [10] HOGG J, 1973, INTERNAL NOTE