Miroslav N. Velev, Randal E. Bryant, Alok Jain. Efficient Modeling of Memory Arrays in Symbolic Simulation. In Orna Grumberg, editor, Computer Aided Verification, 9th International Conference, CAV 97, Haifa, Israel, June 22-25, 1997, Proceedings. Volume 1254 of Lecture Notes in Computer Science, pages 388-399, Springer, 1997.
No references recorded for this publication.
No citations of this publication recorded.