Вы здесь
Finite Model Checking and Beyond
Количество экземпляров:
1
Колл. автор:
Вид:
Препринт
Год:
1995
Ключевые слова:
Стр.:
21 p.
Библиография:
Bibliogr.: p.12-15.
Место издания:
Источник:
Номер:
MIP-9501
Том:
935
Карточка:
Б2.4, Б2.35.
Steffen B..
Finite Model Checking and Beyond-Passau., 1995.-Vol. 935.-21 p.-(Препринт Univ.Passau №MIP-9501).
Bibliogr.: p.12-15.
Таблица в старой библиотеке:
PREP2 161