Вы здесь
Weak Bisimulation and Model Checking for Basic Parallel Processes
Количество экземпляров:
1
Вид:
Статья из сборника или журнала
Год:
1996
Ключевые слова:
Стр.:
P.88-99.
Библиография:
Bibliogr.: p.99
Издательство:
Источник:
Том:
1180
Карточка:
Б2.15, Б2.42.
Mayr R..
Weak Bisimulation and Model Checking for Basic Parallel Processes: Springer// Lecture Notes in Computer Science-1996.-Vol. 1180.-P.88-99.
Bibliogr.: p.99
Таблица в старой библиотеке:
PAP15 938