Вы здесь
Formal Analysis of Real-Time Systems with SAM
Количество экземпляров:
1
Вид:
Статья из сборника или журнала
Год:
2002
Ключевые слова:
Стр.:
P.275-286
Библиография:
Bibliogr.: p.286
Издательство:
Источник:
Номер:
2495
Карточка:
Б2.42, Б3.33.
Yu H., He X., Deng Y., Mo L..
Formal Analysis of Real-Time Systems with SAM: Springer// Lecture Notes in Computer Science-2002, №2495.-P.275-286
Bibliogr.: p.286
Таблица в старой библиотеке:
PAP25 906