Казимир, В. В.; Посадська, А. С. МЕРЕЖЕВЕ ПЛАНУВАННЯ В РЕЖИМІ РЕАЛЬНОГО ЧАСУ З ВИКОРИСТАННЯМ АПАРАТУ ТЕМПОРАЛЬНИХ ЛОГІК. ТНТ 2016.