Structured design verification.
| Autor: | Rimkus, C. J., Wayne, M. R., Cheng, D. D., Magistro, F. J. |
|---|---|
| Zdroj: | Proceedings of the 20th Design Automation Conference; 6/27/1983, p246-252, 7p |
| Databáze: | Complementary Index |
| Externí odkaz: |
|
| Autor: | Rimkus, C. J., Wayne, M. R., Cheng, D. D., Magistro, F. J. |
|---|---|
| Zdroj: | Proceedings of the 20th Design Automation Conference; 6/27/1983, p246-252, 7p |
| Databáze: | Complementary Index |
| Externí odkaz: |
|