Сравнение логических и поведенческих эквивалентностей для структур событий | Мемориальная библиотека А.П. Ершова

Вы здесь

Автор:

Вирбицкайте И. Б.

Вотинцева А. В.

Количество экземпляров:

1

Вид:

Статья из сборника или журнала

Год:

1995

Ключевые слова:

структура

параллельный

Стр.:

С.7-21.

Библиография:

Библиогр.: c.20-21.

Место издания:

Новосибирск

Источник:

Проблемы спецификации и верификации параллельных систем. Сборник научных трудов

Карточка:

Б2.22, Б2.11.

Вирбицкайте И. Б., Вотинцева А. В..

Сравнение логических и поведенческих эквивалентностей для структур событий-Новосибирск.// Проблемы спецификации и верификации параллельных систем. Сборник научных трудов, 1995.-С.7-21.
Библиогр.: c.20-21.

Таблица в старой библиотеке:

ISI2 36