TY  - RPRT
TI  - Towards the Formal Reliability Analysis of Oil and Gas Pipelines
AU  - Waqar Ahmed
AU  - Osman Hasan
AU  - Sofiene Tahar
AU  - Mohammad Salah Hamdi
PY  - 2014
DO  - 10.1007/978-3-319-08434-3_4
UR  - https://arxiv.org/abs/1405.6985
ID  - 1405.6985
ER  -