Pashchenko, Dmitry V., Alexey I. Martyshkin, Dmitry A. Trokoz, Tatyana Yu. Pashchenko, Mikhail Yu. Babich, y Mikhail M. Butaev. «Ejemplos De Comportamiento Para Sintetizar Modelos De autómatas Mediante fórmulas Temporales». Nexo Revista Científica 34, no. 01 (abril 13, 2021): 61–73. Accedido diciembre 23, 2024. http://revistas.uni.edu.ni/index.php/Nexo/article/view/572.