Interleaving Semantics and Action Refinement with Atomic Choice

Вы здесь

Автор:

Количество экземпляров:

Вид:

Статья из сборника или журнала

Год:

1992

Ключевые слова:

Стр.:

P.89-107.

Библиография:

Bibliogr.: p.106-107.

Источник:

Том:

609

Карточка:

Б2.42, Б2.24.

Czaja I., Van Glabbeek R. J., Goltz U..

Interleaving Semantics and Action Refinement with Atomic Choice// Lecture Notes in Computer Science-1992.-Vol. 609.-P.89-107.
Bibliogr.: p.106-107.

Таблица в старой библиотеке:

PAP3 622