Вы здесь

Combining Communicating Sequential Processes and Temporal Logic

Автор: 
Количество экземпляров: 
1
Вид: 
Статья из сборника или журнала
Год: 
1998
Стр.: 
P.130-137.
Библиография: 
Bibliogr.: p.136
Источник: 
Номер: 
2
Том: 
4
Карточка: 

Б2.42, Б2.15.

Pearson J., Bryans J..

Combining Communicating Sequential Processes and Temporal Logic// Engineering Tehnikateadused-1998, №2.-Vol. 4.-P.130-137.
Bibliogr.: p.136

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