TY  - RPRT
TI  - A Hypergraph-based Formalization of Hierarchical Reactive Modules and a Compositional Verification Method
AU  - Daisuke Ishii
PY  - 2024
UR  - https://arxiv.org/abs/2403.10919
ID  - 2403.10919
ER  -