Waqar Ahmad, Osman Hasan, Sofiène Tahar. Towards Formal Reliability Analysis of Logistics Service Supply Chains using Theorem Proving. In Boris Konev, Stephan Schulz 0001, Laurent Simon, editors, IWIL@LPAR 2015, 11th International Workshop on the Implementation of Logics, Suva, Fiji, November 23, 2015. Volume 40 of EPiC Series in Computing, pages 1-14, EasyChair, 2015. [doi]