Вы здесь
Improving Efficiency of Symbolic Model Checking for State-Based System Requirements
Количество экземпляров:
1
Вид:
Статья из сборника или журнала
Год:
1998
Ключевые слова:
Стр.:
P.102-112.
Библиография:
Bibliogr.: p.111-112
Источник:
Номер:
2
Том:
23
Карточка:
Б2.23, Б3.54.
Chan W., Anderson R. J., Beame P., Notkin D..
Improving Efficiency of Symbolic Model Checking for State-Based System Requirements// Software Engineering Notes-1998, №2.-Vol. 23.-P.102-112.
Bibliogr.: p.111-112
Таблица в старой библиотеке:
ACM5 585