|
DSpace at IIT Bombay >
Browsing by Author VENKATESH, G
Showing results 3 to 8 of 8
| Issue Date | Title | Author(s) | | 1996 | Dense time logic programming | AHMED, M; VENKATESH, G |
| 1989 | IDEAS - A TOOL FOR VLSI CAD | KUMAR, A; KASHYAP, V; SHERLEKAR, SD; VENKATESH, G; BISWAS, S; BHATT, PCP; KUMAR, S |
| 1996 | Monitoring machine based synthesis technique for concurrent error detection in finite state machines | PAREKHJI, RA; VENKATESH, G; SHERLEKAR, SD |
| 1997 | Proof of correctness of a direct construction of DFA from regular expression | BABU, SR; SANYAL, A; VENKATESH, G |
| 1986 | Reasoning about digital systems using temporal logic | BAPAT, S; VENKATESH, G |
| 1993 | Reasoning about motion - product theories of motion | AHMED, M; VENKATESH, G |
Showing results 3 to 8 of 8
|
