Вы здесь
Fighting Livelock in the i-Protocol: A Comparative Study of Verification Tools
Количество экземпляров:
1
Вид:
Статья из сборника или журнала
Год:
1999
Ключевые слова:
Стр.:
P.74-88.
Библиография:
Bibliogr.: p.87-88
Издательство:
Источник:
Том:
1579
Карточка:
Б2.2, Б3.54, Б2.4.
Dong Y., Du X., Ramakrishna Y. S., Ramakrishnan C. R., Ramakrishnan I. V., Smolka S. A., Sokolovsky O., Stark E. W., Warren D. S..
Fighting Livelock in the i-Protocol: A Comparative Study of Verification Tools: Springer// Lecture Notes in Computer Science-1999.-Vol. 1579.-P.74-88.
Bibliogr.: p.87-88
Таблица в старой библиотеке:
PAP19 313