Please use this identifier to cite or link to this item:
http://www.idr.iitkgp.ac.in/xmlui/handle/123456789/7672
Full metadata record
DC Field | Value | Language |
---|---|---|
dc.contributor.author | Chakrabarti, Indrajit | |
dc.date.accessioned | 2017-06-21T07:18:26Z | |
dc.date.available | 2017-06-21T07:18:26Z | |
dc.date.issued | 1995-10-01 | |
dc.identifier.govdoc | NB11992 | |
dc.identifier.govdoc | NB11993 | |
dc.identifier.uri | http://www.idr.iitkgp.ac.in/xmlui/handle/123456789/7672 | |
dc.language.iso | en | en |
dc.publisher | IIT, Kharagpur | en |
dc.subject | Inductive Reasoning | en |
dc.subject | Digital Systems | en |
dc.subject | VLSI | en |
dc.subject | Hardware Systems | en |
dc.subject | Verification Testing | en |
dc.title | Inductive Reasoning in formal Verification of Hardware | en |
dc.type | Thesis | en |
Appears in Collections: | Inductive Reasoning in formal Verification of Hardware |
Files in This Item:
File | Description | Size | Format | |
---|---|---|---|---|
NB11993_Abstracts.pdf | 170.35 kB | Adobe PDF | ![]() View/Open | |
NB11993_Thesis.pdf Restricted Access | 7.95 MB | Adobe PDF | View/Open Request a copy |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.