TY  - RPRT
TI  - Learning Nominal Automata
AU  - Joshua Moerman
AU  - Matteo Sammartino
AU  - Alexandra Silva
AU  - Bartek Klin
AU  - Michał Szynwelski
PY  - 2018
DO  - 10.1145/3009837.3009879
UR  - https://arxiv.org/abs/1607.06268
ID  - 1607.06268
ER  -