Вы здесь

An Efficient Verifier of Truly Concurrent Properties

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

Б2.42.

Bianchi A., Coluccini S., Degano P., Priami C..

An Efficient Verifier of Truly Concurrent Properties-Berlin, Heidelberg.: Springer// Parallel Computing Technologies, 1995.-Vol. 964.-P.36-50-(Lecture Notes in Computer Science).
Bibliogr.: p.49-50

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