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

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

[IEEE ICCAD-2005. IEEE/ACM International Conference on Computer-Aided Design, 2005. - San Jose, CA (Nov. 6-10, 2005)] ICCAD-2005. IEEE/ACM International Conference on Computer-Aided Design, 2005. - SAT based solutions for consistency problems in formal property specifications for open systems

[IEEE ICCAD-2005. IEEE/ACM International Conference on Computer-Aided Design, 2005. - San Jose, CA (Nov. 6-10, 2005)] ICCAD-2005. IEEE/ACM International Conference on Computer-Aided Design, 2005. - SAT based solutions for consistency problems in formal property specifications for open systems

Roy, S.; Das, S.; Basu, P.; Dasgupta, P.; Chakrabarti, P.P.

作者Roy, S.; Das, S.; Basu, P.; Dasgupta, P.; Chakrabarti, P.P.
文件大小152.41KB
发表时间2005
DOI10.1109/iccad.2005.1560186
页码885-888

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