1. DSpace at My University
  2. 2. Ph.D Theses of IIT Kharagpur
  3. Computer Science & Engineering
  4. Model Checking Techniques for Reasoning about Events and Extremal Properties in Timed Systems
Please use this identifier to cite or link to this item: http://www.idr.iitkgp.ac.in/xmlui/handle/123456789/7927
Full metadata record
DC FieldValueLanguage
dc.contributor.authorDeka, Jatindra Kumar
dc.date.accessioned2017-07-19T06:40:52Z
dc.date.available2017-07-19T06:40:52Z
dc.date.issued2000-10-01
dc.identifier.govdocNB12651 ; NB12616
dc.identifier.urihttp://www.idr.iitkgp.ac.in/xmlui/handle/123456789/7927
dc.language.isoenen
dc.publisherIIT, Kharagpuren
dc.subjectAutomata Theoretic Methodsen
dc.subjectModel Checkingen
dc.subjectMin-max Computation Tree Logicen
dc.subjectTimed Transition Systemen
dc.subjectModel Checking Techniquesen
dc.titleModel Checking Techniques for Reasoning about Events and Extremal Properties in Timed Systemsen
dc.typeThesisen
Appears in Collections:Model Checking Techniques for Reasoning about Events and Extremal Properties in Timed Systems

Files in This Item:
File Description SizeFormat 
NB12651_Abstract.pdf133.76 kBAdobe PDFThumbnail
View/Open
NB12651_Thesis.pdf
  Restricted Access		6.13 MBAdobe PDFView/Open Request a copy
Show simple item record


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.