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 13 de abril de 2025];34(01):61-73. Disponible en: https://camjol.info/index.php/NEXO/article/view/11285