IDR Home
→
2. Ph.D Theses of IIT Kharagpur
→
Computer Science & Engineering
→
Formal Verification of Liveness Properties of Distributed System Protocols by Model Checking
→
Browsing Formal Verification of Liveness Properties of Distributed System Protocols by Model Checking by Author

Browsing Formal Verification of Liveness Properties of Distributed System Protocols by Model Checking by Author

Now showing items 1-1 of 1

Authors Name
Samanta, Tapas [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