TY  - RPRT
TI  - Visualização e animação de autómatos em Ocsigen Framework
AU  - Rita Macedo
AU  - Artur Miguel Dias
AU  - António Ravara
PY  - 2019
UR  - https://arxiv.org/abs/1907.05384
ID  - 1907.05384
ER  -