Полубелова, О. В. и Котенко, И. В. (2012) Верификация правил фильтрации с временными характеристиками методом “проверки на модели”, Труды СПИИРАН, 3(22), сс. 113-138. DOI: 10.15622/sp.22.7.