TY  - RPRT
TI  - Hypernode Automata
AU  - Ezio Bartocci
AU  - Thomas A. Henzinger
AU  - Dejan Nickovic
AU  - Ana Oliveira da Costa
PY  - 2024
DO  - 10.4230/lipics.concur.2023.21
UR  - https://arxiv.org/abs/2305.02836
ID  - 2305.02836
ER  -