发现好书期刊，享受阅读乐趣

海量图书期刊资源，随时随地畅享阅读乐趣

[IEEE Comput. Soc. Press European Conference on Design Automation. - Amsterdam, Netherlands (25-28 Feb. 1991)] Proceedings of the European Conference on Design Automation. - Resolution-based correctness proofs of synchronous circuits

[IEEE Comput. Soc. Press European Conference on Design Automation. - Amsterdam, Netherlands (25-28 Feb. 1991)] Proceedings of the European Conference on Design Automation. - Resolution-based correctness proofs of synchronous circuits

Camurati, P.; Margaria, T.; Prinetto, P.

作者Camurati, P.; Margaria, T.; Prinetto, P.
文件大小424.68KB
发表时间1991
DOI10.1109/edac.1991.206349
页码11-15

← 返回【学霸图书馆】主页