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 Issue Date

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

Now showing items 1-1 of 1

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

Deka, Jatindra Kumar (IIT, Kharagpur, 2000-10-01)

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