Вы здесь
A Solution Relying on the Model Checking of Boolean Transition Systems
Количество экземпляров:
1
Вид:
Статья из сборника или журнала
Год:
1996
Ключевые слова:
Стр.:
P.213-251.
Библиография:
Bibliogr.: p.243
Издательство:
Источник:
Том:
1169
Карточка:
А3.54, Б2.4.
Cuellar J., Barnard D., Huber M..
A Solution Relying on the Model Checking of Boolean Transition Systems: Springer// Lecture Notes in Computer Science-1996.-Vol. 1169.-P.213-251.
Bibliogr.: p.243
Таблица в старой библиотеке:
PAP15 929