Scaling up property checking

dc.contributor.guide	Sanyal, Amitabha and Khedkar, Uday
dc.coverage.spatial	Department of Computer Science and Engineering
dc.creator.researcher	Kumar, Shrawan
dc.date.accessioned	2023-05-10T05:45:48Z
dc.date.available	2023-05-10T05:45:48Z
dc.date.awarded	2019
dc.date.completed	2019
dc.date.registered	2009
dc.description.abstract	Abstract attached newline newline
dc.description.note	NA
dc.format.accompanyingmaterial	DVD
dc.format.dimensions	NA
dc.format.extent	NA
dc.identifier.uri	http://hdl.handle.net/10603/482050
dc.language	English
dc.publisher.institution	Department of Computer Science and Engineering
dc.publisher.place	Mumbai
dc.publisher.university	Indian Institute of Technology Bombay
dc.relation	NA
dc.rights	university
dc.source.university	University
dc.subject.keyword	Computer Science
dc.subject.keyword	Computer Science Interdisciplinary Applications
dc.subject.keyword	Engineering and Technology
dc.title	Scaling up property checking
dc.title.alternative	Na
dc.type.degree	Ph.D.