Pashchenko DV, Martyshkin AI, Trokoz DA, Pashchenko TY, Babich MY, Butaev MM. Ejemplos de comportamiento para sintetizar modelos de autómatas mediante fórmulas temporales. Nexo Revista Científica [Internet]. 13 de abril de 2021 [citado 23 de diciembre de 2024];34(01):61-73. Disponible en: http://revistas.uni.edu.ni/index.php/Nexo/article/view/572