Keyword:Logistic Supply Chain

Publications
Towards Formal Reliability Analysis of Logistics Service Supply Chains using Theorem Proving Waqar Ahmed, Osman Hasan and Sofiene Tahar In:IWIL-2015. 11th International Workshop on the Implementation of Logics