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