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 Title

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

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