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.
Citación estilo ChicagoPashchenko, Dmitry V., Alexey I. Martyshkin, Dmitry A. Trokoz, Tatyana Yu Pashchenko, Mikhail Yu Babich, y 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.
Cita MLAPashchenko, 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.