APA (7th ed.) Citation

Castro, P. F., Putruele, L., Degiovanni, R., & Aguirre, N. (2025). Bounded Synthesis of Synchronized Distributed Models from Lightweight Specifications.

Chicago Style (17th ed.) Citation

Castro, Pablo F., Luciano Putruele, Renzo Degiovanni, and Nazareno Aguirre. Bounded Synthesis of Synchronized Distributed Models from Lightweight Specifications. 2025.

MLA (9th ed.) Citation

Castro, Pablo F., et al. Bounded Synthesis of Synchronized Distributed Models from Lightweight Specifications. 2025.