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 Author

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

Now showing items 1-1 of 1

Authors Name
Gosh, Kamalesh [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