TY  - RPRT
TI  - Bounded Synthesis of Synchronized Distributed Models from Lightweight Specifications
AU  - Pablo F. Castro
AU  - Luciano Putruele
AU  - Renzo Degiovanni
AU  - Nazareno Aguirre
PY  - 2025
UR  - https://arxiv.org/abs/2502.13955
ID  - 2502.13955
ER  -