DaftarIsitemplate
 
Call Number
004 Int c
Title
Exploiting symmetry when verifying transistor-level circuits by symbolic trajectory evaluation, (LNCS-Lecture Notes in Computer Science 1254) Hal 244-255
Author
Manish Pandey; Randal E. Bryant;
Publisher
Springer, 1997
Subject
Location