TY  - RPRT
TI  - Coalgebraic Semantics for Nominal Automata
AU  - Florian Frank
AU  - Stefan Milius
AU  - Henning Urbat
PY  - 2022
UR  - https://arxiv.org/abs/2202.06546
ID  - 2202.06546
ER  -