Rodriguez, A., Amir, G., Corsi, D., Sanchez, C., & Katz, G. (2024). Shield Synthesis for LTL Modulo Theories.
Cita Chicago Style (17a ed.)Rodriguez, Andoni, Guy Amir, Davide Corsi, Cesar Sanchez, y Guy Katz. Shield Synthesis for LTL Modulo Theories. 2024.
Cita MLA (9a ed.)Rodriguez, Andoni, et al. Shield Synthesis for LTL Modulo Theories. 2024.
Precaución: Estas citas no son 100% exactas.