519.713

Громов М.Л. Шабалдина Н.В. Использование BALM-II для построения параллельной композиции временных автоматов с задержками выходов и таймаутами: сообщение о ходе исследования // Системная информатика. — . — № 8.  — С. 33-42
Бурдонов И.Б. Евтушенко Н.В. Косачев А.С. Кушик Н.Г. Синхронизирующие и установочные эксперименты для входо-выходных полуавтоматов // Системная информатика. — . — № 10.  — С. 1-10
Подписаться на 519.713