Pashchenko, Dmitry V., Alexey I. Martyshkin, Dmitry A. Trokoz, Tatyana Yu. Pashchenko, Mikhail Yu. Babich, y Mikhail M. Butaev. 2021. «Ejemplos De Comportamiento Para Sintetizar Modelos De autómatas Mediante fórmulas Temporales». Nexo Revista Científica 34 (01):61-73. https://doi.org/10.5377/nexo.v34i01.11285.