Вы здесь

Confluence for Process Verification

Количество экземпляров: 
1
Вид: 
Статья из сборника или журнала
Год: 
1995
Стр.: 
P.204-218
Библиография: 
Bibliogr.: p.218
Место издания: 
Том: 
962
Карточка: 

Б2.15.

Groote J. F., Sellink M.P. A..

Confluence for Process Verification-Berlin, Heidelberg.// CONCUR 95: Concurrency Theory, 1995.-Vol. 962.-P.204-218-(Lecture Notes in Computer Science).
Bibliogr.: p.218

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