PASHCHENKO, D. V.; MARTYSHKIN, A. I.; TROKOZ, D. A.; PASHCHENKO, T. Y.; BABICH, M. Y.; BUTAEV, M. M. Behaviour examples for synthesizing automaton models by temporal formulas. Nexo Scientific Journal, [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: 24 nov. 2024.