Towards Formal Reliability Analysis of Logistics Service Supply Chains using Theorem Proving.

Waqar Ahmad, Osman Hasan, Sofine Tahar

Browse the full LPAR paper archive.