Representability of Design Objects by Ancestor-Controlled Hierarchical Specifications
Yu, Lin; Rosenkrantz, Daniel J.
- 期刊名称SIAM Journal on Computing
- 作者Yu, Lin; Rosenkrantz, Daniel J.
- 卷第21卷
- 期第5期
- 印刷ISSN0097-5397
- 电子ISSN1095-7111
- 文件大小3594.28KB
- 发表时间1992-10
- DOI10.1137/0221049
- 页码824-855