IDR Home
→
2. Ph.D Theses of IIT Kharagpur
→
Computer Science & Engineering
→
Automated Planning Based Methods for Early Verification of Reactive Control Systems
→
Browsing Automated Planning Based Methods for Early Verification of Reactive Control Systems by Title

Browsing Automated Planning Based Methods for Early Verification of Reactive Control Systems by Title

Now showing items 1-1 of 1

Automated Planning Based Methods for Early Verification of Reactive Control Systems

Gosh, Kamalesh (IIT, Kharagpur, 2016-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