Waqar Ahmed, Osman Hasan, Sofiène Tahar, Mohammad Salah Hamdi. Towards the Formal Reliability Analysis of Oil and Gas Pipelines. In Stephen M. Watt, James H. Davenport, Alan P. Sexton, Petr Sojka, Josef Urban, editors, Intelligent Computer Mathematics - International Conference, CICM 2014, Coimbra, Portugal, July 7-11, 2014. Proceedings. Volume 8543 of Lecture Notes in Computer Science, pages 30-44, Springer, 2014. [doi]
Abstract is missing.