Li Tan, Shenghan Xu. Model check stochastic supply chains. In Proceedings of the IEEE International Conference on Information Reuse and Integration, IRI 2008, 13-15 July 2008, Las Vegas, Nevada, USA. pages 416-421, IEEE Systems, Man, and Cybernetics Society, 2008. [doi]
Abstract is missing.