Вы здесь
Bounded Model Checking for Timed Systems
Количество экземпляров:
1
Вид:
Статья из сборника или журнала
Год:
2002
Ключевые слова:
Стр.:
P.243-259
Библиография:
Bibliogr.: p.258-259
Источник:
Том:
2529
Карточка:
Б2.23, А3.5, А2.2.
Audemard G., Cimatti A., Kornilowicz A., Sebastiani R..
Bounded Model Checking for Timed Systems// Lecture Notes in Computer Science-2002.-Vol. 2529.-P.243-259
Bibliogr.: p.258-259
Таблица в старой библиотеке:
PAP26 2