Call Number | 004 Int c |
Collection Type | Indeks Artikel LNCS |
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 |
Nomor Panggil | ID Koleksi | Status |
---|---|---|
004 Int c | TERSEDIA |