TY - RPRT TI - Improving efficiency of markov chain analysis of complex distributed systems AU - Dabrowski, Christopher AU - Hunt, Fern AU - Morrison, Katherine PY - 2010 PB - National Institute of Standards and Technology CY - Gaithersburg, MD SN - NIST IR 7744 DO - 10.6028/NIST.IR.7744 ER -