Препринты Института систем информатики СО РАН 1998 г.
Препринт 56
Способ построения раскрашенных сетей Петри, моделирующих SDL-системы
Препринт в формате PDF (Русский) (386.88 КБ)
Препринт 55
Применение систем переписывания формул в автоматической верификации программ
Препринт в формате PDF (Русский) (306.9 КБ)
Препринт 50
Система БУЦЕФАЛ: комбинирование дедуктивных процедур и описание стратегий поиска доказательств
Препринт в формате PDF (Русский) (286.38 КБ)
Препринт 49
Некоторые формальные аспекты недоопределенных моделей
Препринт в формате PDF (Русский) (247.64 КБ)
Препринт 48
Средства профилирования программ в проекте СОКРАТ
Препринт в формате PDF (Русский) (172.96 КБ)