www.prismmodelchecker.org
[Tan08] Li Tan. Model check stochastic supply chains. In Proc. IEEE International Conference on Information Reuse and Integration (IRI'08), pages 416 - 421. 2008.
Links: [Google] [Google Scholar]

Publications