IDR Home
→
2. Ph.D Theses of IIT Kharagpur
→
Computer Science & Engineering
→
Model Checking Techniques for Reasoning about Events and Extremal Properties in Timed Systems
→
Browsing Model Checking Techniques for Reasoning about Events and Extremal Properties in Timed Systems by Author

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

Now showing items 1-1 of 1

Authors Name
Deka, Jatindra Kumar [1]

Now showing items 1-1 of 1

Search DSpace

Advanced Search

Browse

All of DSpace
This Collection
- By Issue Date
- Authors
- Titles
- Subjects

My Account

Login