1. DSpace at My University
  2. 2. Ph.D Theses of IIT Kharagpur
  3. Computer Science & Engineering

Inductive Reasoning in formal Verification of Hardware Collection home page

Author: Indrajit Chakrabarti
Guide: Dr. Dipankar Sarkar and Dr. Arun K. Majumdar
Department of Computer Science & Engineering
Indian Institute of Technology Kharagpur
October, 1995

Browse
Subscribe to this collection to receive daily e-mail notification of new additions RSS Feed RSS Feed RSS Feed
Collection's Items (Sorted by Submit Date in Descending order): 1 to 1 of 1
Issue DateTitleAuthor(s)
1995-10-01Inductive Reasoning in formal Verification of HardwareChakrabarti, Indrajit
Collection's Items (Sorted by Submit Date in Descending order): 1 to 1 of 1

Discover