Вы здесь
A Domain for Concurrent Termination A Generalization of Mazurkiewicz Traces
Количество экземпляров:
1
Вид:
Статья из сборника или журнала
Год:
1995
Ключевые слова:
Стр.:
P.15-26
Библиография:
Bibliogr.: p.26
Место издания:
Источник:
Том:
944
Карточка:
Б2.42.
Diekert V., Gastin P..
A Domain for Concurrent Termination A Generalization of Mazurkiewicz Traces-Berlin, Heidelberg.// Automata, Languages and Programming, 1995.-Vol. 944.-P.15-26-(Lecture Notes in Computer Science).
Bibliogr.: p.26
Таблица в старой библиотеке:
PAP12 657