G. Ravi Prakash

Publication Activity (10 Years)

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

Publications

G. Ravi Prakash, Eswaran Subrahmanian, Hosaker N. Mahabala
A Methodology for Systematic Verification of OPS5-Based AI Applications. IJCAI (1991)
G. Ravi Prakash, Eswaran Subrahmanian, Hosaker N. Mahabala
Verification of OPS5-Based AI Applications. SCAI (1991)