@misc{52841,
  author = {Christopher Dabrowski},
  title = {Improving the Efficiency of Markov Chain Analysis of Complex Distributed Systems},
  year = {2010},
  month = {2010-12-20},
  publisher = {NIST Interagency/Internal Report (NISTIR), National Institute of Standards and Technology, Gaithersburg, MD},
  doi = {https://doi.org/10.6028/NIST.IR.7744},
  language = {en},
}