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

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

[IEEE Comput. Soc Proceedings. XII Symposium on Integrated Circuits and Systems Design - Natal, Brazil (29 Sept.-2 Oct. 1999)] Proceedings. XII Symposium on Integrated Circuits and Systems Design (Cat. No.PR00387) - Symbolic model checking in practice

[IEEE Comput. Soc Proceedings. XII Symposium on Integrated Circuits and Systems Design - Natal, Brazil (29 Sept.-2 Oct. 1999)] Proceedings. XII Symposium on Integrated Circuits and Systems Design (Cat. No.PR00387) - Symbolic model checking in practice

Campos, S.V.A.

作者Campos, S.V.A.
文件大小42.42KB
发表时间1999
DOI10.1109/sbcci.1999.803097
页码98-101

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