Вы здесь
Strong Bisimilarity and Regularity of Basic Parallel Processes Is PSPACE-Hard
Количество экземпляров:
1
Вид:
Статья из сборника или журнала
Год:
2002
Ключевые слова:
Стр.:
P.535-546
Библиография:
Bibliogr.: p.546
Издательство:
Источник:
Том:
2285
Карточка:
Б2.15, Б2.42.
Srba J..
Strong Bisimilarity and Regularity of Basic Parallel Processes Is PSPACE-Hard: Springer// Lecture Notes in Computer Science-2002.-Vol. 2285.-P.535-546
Bibliogr.: p.546
Таблица в старой библиотеке:
PAP24 537