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. Universidad Nacional de Ingeniería (UNI) en Managua.

Pashchenko, Dmitry V., Alexey I. Martyshkin, Dmitry A. Trokoz, Tatyana Yu Pashchenko, Mikhail Yu Babich, and Mikhail M. Butaev. Ejemplos De Comportamiento Para Sintetizar Modelos De Autómatas Mediante Fórmulas Temporales. Universidad Nacional de Ingeniería (UNI) en Managua, 2021.

Pashchenko, Dmitry V., et al. Ejemplos De Comportamiento Para Sintetizar Modelos De Autómatas Mediante Fórmulas Temporales. Universidad Nacional de Ingeniería (UNI) en Managua, 2021.