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

Вы здесь

Автор:

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

1

Колл. автор:

Вид:

Препринт

Год:

1994

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

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

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

проверка

Стр.:

24 p.

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

Bibliogr.: p.22-23.

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

Источник:

Lecture Notes in Computer Science

Номер:

MIP-9402

Том:

884

Карточка:

Б2.42.

Burkart O., Steffen B..

Composition, Decomposition and Model Checking of Pushdown Processes-Passau., 1994.-Vol. 884.-24 p.-(Препринт Univ.Passau №MIP-9402).
Bibliogr.: p.22-23.

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

PREP2 86