Ajay Srivastava

Publication Activity (10 Years)

Years Active: 1993-1993
Publications (10 Years): 0

Publications

Nirmal R. Saxena, Ravi Tangirala, Ajay Srivastava
Algorithmic Synthesis of High Level Tests for Data Path Designs. FTCS (1993)