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: https://camjol.info/index.php/NEXO/article/view/11285. Acesso em: 18 jul. 2024.