Вы здесь
States vs. Traces in Model Checking by Abstract Interpretation
Количество экземпляров:
1
Вид:
Статья из сборника или журнала
Год:
2002
Ключевые слова:
Стр.:
P.461-476
Библиография:
Bibliogr.: p.476
Источник:
Том:
2477
Карточка:
Б2.13, Б2.2.
Giacobazzi R., Ranzato F..
States vs. Traces in Model Checking by Abstract Interpretation// Lecture Notes in Computer Science-2002.-Vol. 2477.-P.461-476
Bibliogr.: p.476
Таблица в старой библиотеке:
PAP25 736