| Type of Material: | Thesis |
| Title: | Symbolic verification of digital hardware designs |
| Researcher: | Parameswaran, N |
| Guide: | Priti Shankar |
| Department: | School of Automation |
| Publisher: | Indian Institute of Science |
| Place: | Bangalore |
| Year: | 1982 |
| Language: | English |
| Subject: | Automation | Engineering | Electronics Engineering | Short and Long Wave Electronics | Digital Computers |
| Dissertation/Thesis Note: | PhD |
| 000 | 00000ntm a2200000ua 4500 | |
| 001 | 121746 | |
| 003 | IN-AhILN | |
| 005 | 2011-01-13 00:00:00 | |
| 008 | __ | 821231t1982||||ii#||||g|m||||||||||eng|| |
| 035 | __ | |a(IN-AhILN)th_121746 |
| 040 | __ | |aIISC_560012|dIN-AhILN |
| 041 | __ | |aeng |
| 100 | __ | |aParameswaran, N|eResearcher |
| 110 | __ | |aSchool of Automation|bIndian Institute of Science|dBangalore|eIn |
| 245 | __ | |aSymbolic verification of digital hardware designs |
| 260 | __ | |aBangalore|bIndian Institute of Science|c1982 |
| 502 | __ | |bPhD |
| 653 | __ | |aAutomation |
| 653 | __ | |aEngineering |
| 653 | __ | |aElectronics Engineering |
| 653 | __ | |aShort and Long Wave Electronics |
| 653 | __ | |aDigital Computers |
| 700 | __ | |aPriti Shankar|eGuide |
| 905 | __ | |anotification |
User Feedback Comes Under This section.