SAT-based scalable formal verification solutions

著者

    • Ganai, Malay
    • Gupta, Aarti

書誌事項

SAT-based scalable formal verification solutions

Malay Ganai, Aarti Gupta

(Series on Integrated Circuits and Systems)

Springer, c2007

大学図書館所蔵 3件 / 3

すべての地域すべての図書館

この図書・雑誌をさがす

注記

Includes bibliographical references and index

関連文献: 1件中  1-1を表示

詳細情報

ページトップへ