@misc{1137826, author = {Christopher Dabrowski and Fern Hunt and Katherine Morrison}, title = {Improving efficiency of markov chain analysis of complex distributed systems:}, year = {2010}, month = {2010-01-01 05:01:00}, publisher = {, National Institute of Standards and Technology, Gaithersburg, MD}, doi = {https://doi.org/10.6028/NIST.IR.7744}, language = {en}, }