Nagendra C. E. Srinivas

Publication Activity (10 Years)

Years Active: 1984-1986
Publications (10 Years): 0

Publications

Nagendra C. E. Srinivas, Anthony S. Wojcik, Ytzhak H. Levendel
An Artificial Intelligence Based Implementation of the P-Algorithm for Test Generation. ITC (1986)
Anthony S. Wojcik, Joseph Kljaich Jr., Nagendra C. E. Srinivas
A formal design verification system based on an automated reasoning system. DAC (1984)