| |
| 1991 | ||
|---|---|---|
| 2 | G. Ravi Prakash, Eswaran Subrahmanian, Hosaker N. Mahabala: A Methodology for Systematic Verification of OPS5-Based AI Applications. IJCAI 1991: 3-8 | |
| 1 | G. Ravi Prakash, Eswaran Subrahmanian, Hosaker N. Mahabala: Verification of OPS5-Based AI Applications. SCAI 1991: 158-169 | |
| 1 | Hosaker N. Mahabala | [1] [2] |
| 2 | Eswaran Subrahmanian | [1] [2] |