PASHCHENKO, D. V.; MARTYSHKIN, A. I.; TROKOZ, D. A.; PASHCHENKO, T. Y.; BABICH, M. Y.; BUTAEV, M. M. Ejemplos de comportamiento para sintetizar modelos de autómatas mediante fórmulas temporales. Nexo Revista Científica, [S. l.], v. 34, n. 01, p. 61–73, 2021. DOI: 10.5377/nexo.v34i01.11285. Disponível em: http://revistas.uni.edu.ni/index.php/Nexo/article/view/572. Acesso em: 23 dic. 2024.