Вы здесь

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