@misc{indiciaea05835fc0ef0,
  title = {Distribution functions of probabilistic automata},
  author = {Vatan, F.},
  year = {2001},
  url = {https://ntrs.nasa.gov/citations/20210002142},
  note = {Source identifier: 20210002142}
}