Jump to main content

yr 〜
yr

Search results 1

Abstraction refinement for large scale model checking

Abstraction refinement for large scale model checking
Paper図書
Chao Wang, Gary D. Hachtel, Fabio SomenziSpringerc2006
Other Libraries in Japan
  • Subject Heading...matical models Integrated circuits -- Verification -- Mathematical models Electronic systems -- Verific...
  • Subject Heading (ID)...matical models Integrated circuits -- Verification -- Mathematical models Electronic systems -- Verific...

Reached to the end of result.

RSS