ML Anthology

Prakash, G. Ravi

1 publications

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