Вы здесь
Verification of Nonregular Temporal Properties for Context-Free Processes
Количество экземпляров:
1
Вид:
Статья из сборника или журнала
Год:
1994
Ключевые слова:
Стр.:
P.81-97.
Библиография:
Bibliogr.: p.96-97.
Издательство:
Источник:
Том:
836
Карточка:
Б2.42, Б2.23, Б2.15.
Bouajjani A., Echahed R., Robbana R..
Verification of Nonregular Temporal Properties for Context-Free Processes: Springer// Lecture Notes in Computer Science-1994.-Vol. 836.-P.81-97.
Bibliogr.: p.96-97.
Таблица в старой библиотеке:
PAP9 289