IDR - IIT Kharagpur
Filter by: Subject
Login
IDR Home
→
2. Ph.D Theses of IIT Kharagpur
→
Computer Science & Engineering
→
Formal Verification of Liveness Properties of Distributed System Protocols by Model Checking
→
Filter by: Subject
JavaScript is disabled for your browser. Some features of this site may not work without it.
Filter by: Subject
Results Per Page:
5
10
20
40
60
80
100
Now showing items 1-7 of 1
Backward Reasoning (1)
Distributed Protocol (1)
Formal Verification (1)
Formula Decomposition (1)
Model Checking (1)
Parametric Verification (1)
Semantic Tableau (1)
Now showing items 1-7 of 1
Search DSpace
Search DSpace
This Collection
Advanced Search
Browse
All of DSpace
Communities & Collections
By Issue Date
Authors
Titles
Subjects
This Collection
By Issue Date
Authors
Titles
Subjects
My Account
Login