| |
Вирбицкайте, И. Б.
Об унификации поведенческих эквивалентностей временных систем переходов [Текст] / И. Б. Вирбицкайте, Н. С. Грибовская
// Программирование. – 2010. – № 3. – С. 19-32.
В работе определяются и исследуются различные поведенческие эквивалентности временных систем переходов. |
