Pashchenko, D. V., Martyshkin, A. I., Trokoz, D. A., Pashchenko, T. Y., Babich, M. Y., & Butaev, M. M. (2021). Ejemplos de comportamiento para sintetizar modelos de autómatas mediante fórmulas temporales. Nexo Revista Científica, 34(01), 61–73. https://doi.org/10.5377/nexo.v34i01.11285