Вы здесь
Acceptance Automata: A Framework for Specifying and Verifying TCSP Parallel Systems
Количество экземпляров:
1
Вид:
Статья из сборника или журнала
Год:
1991
Ключевые слова:
Стр.:
P.75-91.
Реферат:
Схема спецификации и верификации параллельных систем модели TCSP.
Источник:
Том:
506
Карточка:
Б2.42.
Alonso L., Pena R..
Acceptance Automata: A Framework for Specifying and Verifying TCSP Parallel Systems// Lecture Notes in Computer Science-1991.-Vol. 506.-P.75-91.
Таблица в старой библиотеке:
PAP2 596