Formal Verification of Liveness Properties of Distributed System Protocols by Model Checking http://127.0.0.1/xmlui/handle/123456789/4954 2026-04-18T06:36:46Z 2026-04-18T06:36:46Z Formal Verification of Liveness Properties of Distributed System Protocols by Model Checking Samanta, Tapas http://127.0.0.1/xmlui/handle/123456789/4955 2015-09-17T12:02:43Z 2015-02-01T00:00:00Z Formal Verification of Liveness Properties of Distributed System Protocols by Model Checking Samanta, Tapas 2015-02-01T00:00:00Z