Pushdown Processes: Parallel Composition and Model Checking | Мемориальная библиотека А.П. Ершова

Вы здесь

Автор:

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

1

Колл. автор:

Вид:

Препринт

Год:

1993

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

контекстно-свободный

параллельный

проверка

Стр.:

23 p.

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

Bibliogr.: p.14-15.

Место издания:

Номер:

MIP-9312

Карточка:

Б2.4.

Burkart O., Steffen B..

Pushdown Processes: Parallel Composition and Model Checking-Passau., 1993.-23 p.-(Препринт Univ.Passau №MIP-9312).
Bibliogr.: p.14-15.

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

PREP1 946