519.7

Твардовский А.С. Евтушенко Н.В. К параллельной композиции автоматов с временными ограничениями // Системная информатика. — . — № 14.  — С. 55-64
Твардовский А.С. Евтушенко Н.В. Синтез установочных последовательностей для автоматов с временными ограничениями // Системная информатика. — . — № 17.  — С. 1-10
Зубарев А.Ю. Сравнение эквивалентностей непрерывно-временных сетей Петри относительно стратегий сброса часов // Системная информатика. — . — № 24.  — С. 33-58
Подписаться на 519.7