IDR - IIT Kharagpur
Accelerating Multi-Property Formal Verification with Intrinsic Planning
Login
IDR Home
→
2. Ph.D Theses of IIT Kharagpur
→
Computer Science & Engineering
→
Accelerating Multi-Property Formal Verification with Intrinsic Planning
→
View Item
JavaScript is disabled for your browser. Some features of this site may not work without it.
Accelerating Multi-Property Formal Verification with Intrinsic Planning
Das, Sourav
URI:
http://127.0.0.1/xmlui/handle/123456789/17535
Date:
2026-06
Show full item record
Files in this item
Name:
NB19283_Abstract.pdf
Size:
105.1Kb
Format:
PDF
View/
Open
Name:
NB19283_Thesis.pdf
Size:
8.423Mb
Format:
PDF
View/
Open
This item appears in the following Collection(s)
Accelerating Multi-Property Formal Verification with Intrinsic Planning
Related items
Showing items related by title, author, creator and subject.
Studies on F-Band Absorption, Thermoluminescence and Dielectric Behaviour of X-Ray Irradiated NaCl And KCl Subjected to Electric Fields, Dielectric Properties and Thermal Expansion of Tourmaline and Optical Properties of Quartz Crystals with X-Rays
Das, Enakshi
(
IIT, Kharagpur
,
1985-09-01
)
Studies on Effect of X-Ray Irradiation Under Dc Fields on the Optical Absorption Thermoluminescence and Dielectric Properties of LiF and NaF Single Crystals and on Similar Properties of Calcite Irradiated with X-Rays or Gamma Rays
Veeraiah, N.
(
IIT, Kharagpur
,
1983-06-01
)
Studies on Dielectric Properties of TbAsO4 and SrTiO3 Under Different Conditions & F-Band Absorption, Thermoluminescence and Dielectric Properties of NaCl X-Ray Irradiated at Elevated Temperatures and Later Subjected to Electric Field or Laser Excitation
Choudhary, Birendra Kumar
(
IIT, Kharagpur
,
1988-12-01
)
Search DSpace
Search DSpace
This Collection
Advanced Search
Browse
All of DSpace
Communities & Collections
By Issue Date
Authors
Titles
Subjects
This Collection
By Issue Date
Authors
Titles
Subjects
My Account
Login