ML Anthology

Mahabala, Hosaker N.

1 publications

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