Вы здесь
An Integration of Model Checking with Automated Proof Checking
Количество экземпляров:
1
Вид:
Статья из сборника или журнала
Год:
1995
Ключевые слова:
Стр.:
P.84-97.
Библиография:
Bibliogr.: p.96-97.
Издательство:
Источник:
Том:
939
Карточка:
Б2.1, Б2.23.
Rajan S., Shankar N., Srivas M. K..
An Integration of Model Checking with Automated Proof Checking: Springer// Lecture Notes in Computer Science-1995.-Vol. 939.-P.84-97.
Bibliogr.: p.96-97.
Таблица в старой библиотеке:
PAP12 403