Model check stochastic supply chains.

Li Tan Shenghan Xu Model check stochastic supply chains. 416-421 2008 IRI http://dx.doi.org/10.1109/IRI.2008.4583067 conf/iri/2008 db/conf/iri/iri2008.html#TanX08