Вы здесь
Verifying Performance Equivalence for Timed Basic Parallel Processes
Количество экземпляров:
1
Вид:
Статья из сборника или журнала
Год:
2000
Ключевые слова:
Стр.:
P.35-47.
Библиография:
Bibliogr.: p.46-47
Источник:
Том:
1784
Карточка:
Б2.15, Б2.23.
Berard B., Labroue A., Schnoebelen P..
Verifying Performance Equivalence for Timed Basic Parallel Processes// Lecture Notes in Computer Science-2000.-Vol. 1784.-P.35-47.
Bibliogr.: p.46-47
Таблица в старой библиотеке:
PAP21 254