Cita APA (7a ed.)
Neyzov, M. V., & Kuzmin, E. V. (Dec 2024). LTL-Specification for Development and Verification of Control Programs. Automatic Control and Computer Sciences. https://doi.org/10.3103/S0146411624700366
Cita Chicago Style (17a ed.)
Neyzov, M. V., y E. V. Kuzmin. "LTL-Specification for Development and Verification of Control Programs." Automatic Control and Computer Sciences Dec 2024. https://doi.org/10.3103/S0146411624700366.
Cita MLA (9a ed.)
Neyzov, M. V., y E. V. Kuzmin. "LTL-Specification for Development and Verification of Control Programs." Automatic Control and Computer Sciences, Dec 2024, https://doi.org/10.3103/S0146411624700366.
Precaución: Estas citas no son 100% exactas.