Nagendra C. E. Srinivas
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
2
Venues
2
Active years
1984–1986
Best venue rank
A*
Where they publish
Papers
2 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 1986 | ITC | An Artificial Intelligence Based Implementation of the P-Algorithm for Test Generation. | Nagendra C. E. Srinivas, Anthony S. Wojcik, Ytzhak H. Levendel |
| 1984 | DAC | A formal design verification system based on an automated reasoning system. | Anthony S. Wojcik, Joseph Kljaich Jr., Nagendra C. E. Srinivas |