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