Семинский, Г.; Дружинина, А. Е.; Такташкин, Д. В. РАЗРАБОТКА АЛГОРИТМОВ ОБЕСПЕЧИВАЮЩИХ ВЕРЕФИКАЦИЮ ДИАГРАММЫ СОБЫТИЙ НА ВРЕМЕННОЙ ШКАЛЕ. ISEB 2018, 1.