Nagendra C. E. Srinivas

According to our database, Nagendra C. E. Srinivas authored at least 2 papers between 1984 and 1986.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

1986

An Artificial Intelligence Based Implementation of the P-Algorithm for Test Generation.

Nagendra C. E. Srinivas, Anthony S. Wojcik, Ytzhak H. Levendel

Proceedings of the Proceedings International Test Conference 1986, 1986

1984

A formal design verification system based on an automated reasoning system.

Anthony S. Wojcik, Joseph Kljaich Jr., Nagendra C. E. Srinivas

Proceedings of the 21st Design Automation Conference, 1984