DaftarIsitemplate
 
Call Number
004 Int c
Title
Efficient modeling of memory arrays in symbolic simulation, (LNCS-Lecture Notes in Computer Science 1254)Hal. 368-399
Author
Miroslav Velev; Randal E. Bryant; Alok Jain;
Publisher
Springer, 1997
Subject
Location