@article{ZhangJ16,
  author    = {Lijun Zhang and
               David N. Jansen},
  title     = {A space-efficient simulation algorithm on probabilistic automata},
  journal   = {Inf. Comput.},
  volume    = {249},
  pages     = {138--159},
  year      = {2016},
}