Вы здесь

Model-Checking CSP-OZ Specifications with FDR

Количество экземпляров: 
1
Вид: 
Статья из сборника или журнала
Год: 
1999
Стр.: 
p.315-334
Библиография: 
Bibliogr.: p.330-332
Место издания: 
Источник: 
Карточка: 

Б2.2, Б3.51, Б2.15.

Fischer C., Wehrheim H..

Model-Checking CSP-OZ Specifications with FDR-London, Berlin.// IFM 99, 1999.-p.315-334
Bibliogr.: p.330-332

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