(1)
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 2021, 34, 61-73.