Pashchenko, D. V. (2021). Ejemplos de comportamiento para sintetizar modelos de autómatas mediante fórmulas temporales. Universidad Nacional de Ingeniería.
Chicago Style CitationPashchenko, Dmitry V. Ejemplos De Comportamiento Para Sintetizar Modelos De Autómatas Mediante Fórmulas Temporales. Universidad Nacional de Ingeniería, 2021.
MLA CitationPashchenko, Dmitry V. Ejemplos De Comportamiento Para Sintetizar Modelos De Autómatas Mediante Fórmulas Temporales. Universidad Nacional de Ingeniería, 2021.
Warning: These citations may not always be 100% accurate.