Galicia Mendoza, F. A., & Rosenblueth Laguette, D. A. (2021). ReCipe: A program synthesizer based on model checking for temporal logics.
Cita Chicago Style (17a ed.)Galicia Mendoza, Fernando Abigail, y David Arturo Rosenblueth Laguette. ReCipe: A Program Synthesizer Based on Model Checking for Temporal Logics. 2021.
Cita MLA (8a ed.)Galicia Mendoza, Fernando Abigail, y David Arturo Rosenblueth Laguette. ReCipe: A Program Synthesizer Based on Model Checking for Temporal Logics. 2021.
Precaución: Estas citas no son 100% exactas.