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 Title

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

Now showing items 1-1 of 1

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

Samanta, Tapas (IIT Kharagpur, 2015-02)

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