DaftarIsitemplate

Call Number

004 Int c

Title

Exploiting symmetry when verifying transistor-level circuits by symbolic trajectory evaluation, Hal. 244-255

Author

Manish Pandey and Randal E. Bryant;

Publisher

Springer, 1997

Subject

Location