Казимир, В.В. і Посадська, А.С. 2016. МЕРЕЖЕВЕ ПЛАНУВАННЯ В РЕЖИМІ РЕАЛЬНОГО ЧАСУ З ВИКОРИСТАННЯМ АПАРАТУ ТЕМПОРАЛЬНИХ ЛОГІК. Технічні науки та технології. 1 (1) (Трав 2016).