Gianfranco Ciardo, R. L. Jones III, Robert M. Marmorstein, Andrew S. Miner, Radu Siminiceanu. SMART: Stochastic Model-checking Analyzer for Reliability and Timing. In 2002 International Conference on Dependable Systems and Networks (DSN 2002), 23-26 June 2002, Bethesda, MD, USA, Proceedings. pages 545, IEEE Computer Society, 2002. [doi]
Abstract is missing.