Вы здесь
Model Checking for Infinite State Systems using Data Abstraction, Assumption-Commitment Style Reasoning and Theorem Proving
Количество экземпляров:
1
Вид:
Статья из сборника или журнала
Год:
1995
Ключевые слова:
Стр.:
P.54-69.
Библиография:
Bibliogr.: p.68.
Издательство:
Источник:
Том:
939
Карточка:
Б2.11, В2.11.
Dingel J., Filkorn T..
Model Checking for Infinite State Systems using Data Abstraction, Assumption-Commitment Style Reasoning and Theorem Proving: Springer// Lecture Notes in Computer Science-1995.-Vol. 939.-P.54-69.
Bibliogr.: p.68.
Таблица в старой библиотеке:
PAP12 401