Castro, P. F., Putruele, L., Degiovanni, R., & Aguirre, N. (2025). Bounded Synthesis of Synchronized Distributed Models from Lightweight Specifications.
Chicago Style (17th ed.) CitationCastro, Pablo F., Luciano Putruele, Renzo Degiovanni, and Nazareno Aguirre. Bounded Synthesis of Synchronized Distributed Models from Lightweight Specifications. 2025.
MLA (9th ed.) CitationCastro, Pablo F., et al. Bounded Synthesis of Synchronized Distributed Models from Lightweight Specifications. 2025.
Warning: These citations may not always be 100% accurate.