КАЗИМИР, В. В.; ПОСАДСЬКА, А. С. МЕРЕЖЕВЕ ПЛАНУВАННЯ В РЕЖИМІ РЕАЛЬНОГО ЧАСУ З ВИКОРИСТАННЯМ АПАРАТУ ТЕМПОРАЛЬНИХ ЛОГІК. Технічні науки та технології, [S. l.], n. 1 (1), 2016. Disponível em: https://tst.stu.cn.ua/article/view/64486. Acesso em: 19 квіт. 2026.