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

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

[IEEE 2004 IEEE Region 10 Conference TENCON 2004. - Chiang Mai, Thailand (Nov. 21-24, 2004)] 2004 IEEE Region 10 Conference TENCON 2004. - Inductive temporal formula specifications

[IEEE 2004 IEEE Region 10 Conference TENCON 2004. - Chiang Mai, Thailand (Nov. 21-24, 2004)] 2004 IEEE Region 10 Conference TENCON 2004. - Inductive temporal formula specifications

Yamada, C.; Nagata, Y.; Nakao, Z.

作者Yamada, C.; Nagata, Y.; Nakao, Z.
文件大小1872.38KB
发表时间2004
DOI10.1109/tencon.2004.1414526
页码41-44

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