Open Maps Bisimulations for Higher Dimensional Automata Models | Мемориальная библиотека А.П. Ершова

Вы здесь

Автор:

Oshevskaya E. S.

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

1

Вид:

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

Год:

2009

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

бисимуляция

теория автоматов

параллелизм

временной автомат

верификация

открытый

изображение

Стр.:

P.274-286

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

Bibliogr.: p.285-286

Серия:

Lecture Notes in Computer Science

Источник:

Том:

5699

Карточка:

Б2.2, Б2.11.

Oshevskaya E. S..

Open Maps Bisimulations for Higher Dimensional Automata Models// LNCS-2009.-Vol. 5699.-P.274-286-(Lecture Notes in Computer Science).
Bibliogr.: p.285-286

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

PAP31 592