TY  - RPRT
TI  - Distribution functions of probabilistic automata
AU  - Vatan, F.
PY  - 2001
UR  - https://ntrs.nasa.gov/citations/20020003536
ID  - 20020003536
ER  -