A model-checking-based approach to risk analysis in supply chain consolidations

Li Tan, Shenghan Xu. A model-checking-based approach to risk analysis in supply chain consolidations. Integrated Computer-Aided Engineering, 16(3):243-257, 2009. [doi]

Abstract

Abstract is missing.