Model Checking Techniques for Reasoning about Events and Extremal Properties in Timed Systems

dc.contributor.author	Deka, Jatindra Kumar
dc.date.accessioned	2017-07-19T06:40:52Z
dc.date.available	2017-07-19T06:40:52Z
dc.date.issued	2000-10-01
dc.identifier.govdoc	NB12651 ; NB12616
dc.identifier.uri	http://www.idr.iitkgp.ac.in/xmlui/handle/123456789/7927
dc.language.iso	en	en
dc.publisher	IIT, Kharagpur	en
dc.subject	Automata Theoretic Methods	en
dc.subject	Model Checking	en
dc.subject	Min-max Computation Tree Logic	en
dc.subject	Timed Transition System	en
dc.subject	Model Checking Techniques	en
dc.title	Model Checking Techniques for Reasoning about Events and Extremal Properties in Timed Systems	en
dc.type	Thesis	en