Pommellet, A., Stan, D., & Scatton, S. (2024). SAT-based Learning of Computation Tree Logic.
Cita Chicago Style (17a ed.)Pommellet, Adrien, Daniel Stan, y Simon Scatton. SAT-based Learning of Computation Tree Logic. 2024.
Cita MLA (9a ed.)Pommellet, Adrien, et al. SAT-based Learning of Computation Tree Logic. 2024.
Precaución: Estas citas no son 100% exactas.