Cita APA

Asteasuain, F., D'Angiolo, F., Dubinsky, M., & Gamboa, P. D. (2020). Verification and Behavioral Synthesis of Agent-Based Systems. Web

Citación estilo Chicago

Asteasuain, Fernando, Federico D'Angiolo, Manuel Dubinsky, and Pablo Daniel Gamboa. Verification and Behavioral Synthesis of Agent-Based Systems. 2020.

Cita MLA

Asteasuain, Fernando, Federico D'Angiolo, Manuel Dubinsky, and Pablo Daniel Gamboa. Verification and Behavioral Synthesis of Agent-Based Systems. 2020.