Coloured Petri nets approach to the validation of Estelle specifications | Мемориальная библиотека А.П. Ершова

Вы здесь

Автор:

Okunishnikova E. V.

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

1

Вид:

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

Год:

1997

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

сети петри

спецификация

распределенная система

Стр.:

P.25-36

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

Bibliogr.: p.35-36

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

Источник:

Proceedings of the CS&P 97 Workshop

Карточка:

Б2.42.

Churina T. G., Okunishnikova E. V..

Coloured Petri nets approach to the validation of Estelle specifications-Warszawa.// Proceedings of the CS&P 97 Workshop, 1997.-P.25-36
Bibliogr.: p.35-36

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

PAP16 996