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

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

[IEEE Proceedings. Second ACM and IEEE International Conference on Formal Methods and Models for Co-Design, 2004. MEMOCODE '04. - San Diego, CA, USA (June 23-25, 2004)] Proceedings. Second ACM and IEEE International Conference on Formal Methods and Models for Co-Design, 2004. MEMOCODE '04. - Bounded model checking of infinite state systems: exploiting the automata hierarchy

[IEEE Proceedings. Second ACM and IEEE International Conference on Formal Methods and Models for Co-Design, 2004. MEMOCODE '04. - San Diego, CA, USA (June 23-25, 2004)] Proceedings. Second ACM and IEEE International Conference on Formal Methods and Models for Co-Design, 2004. MEMOCODE '04. - Bounded model checking of infinite state systems: exploiting the automata hierarchy

Schuele, T.; Schneider, K.

作者Schuele, T.; Schneider, K.
文件大小1866.89KB
发表时间2004
DOI10.1109/memcod.2004.1459809
页码17-26

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