On decidable extensions of metric temporal logic

dc.contributor.guide	Krishna, Shankara Narayanan and Pandya, Paritosh K
dc.coverage.spatial	Department of Computer Science and Engineering
dc.creator.researcher	Madnani, Khushraj Nanik
dc.date.accessioned	2023-05-03T10:52:38Z
dc.date.available	2023-05-03T10:52:38Z
dc.date.awarded	2019
dc.date.completed	2019
dc.date.registered	2011
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/481095
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 Information Systems
dc.subject.keyword	Engineering and Technology
dc.title	On decidable extensions of metric temporal logic
dc.title.alternative	Na
dc.type.degree	Ph.D.