Вы здесь
Liveness and Fairness in Process-Algebraic Verification
Количество экземпляров:
1
Вид:
Статья из сборника или журнала
Год:
2001
Ключевые слова:
Стр.:
P.59-81
Библиография:
Bibliogr.: p.79-81
Издательство:
Источник:
Том:
2154
Карточка:
Б2.23, Б2.15.
Puhakka A., Valmari A..
Liveness and Fairness in Process-Algebraic Verification: Springer// Lecture Notes in Computer Science-2001.-Vol. 2154.-P.59-81
Bibliogr.: p.79-81
Таблица в старой библиотеке:
PAP23 707