Вы здесь
An Efficient State Space Generation for the Analysis of Real-Time Systems
Количество экземпляров:
1
Вид:
Статья из сборника или журнала
Год:
2000
Ключевые слова:
Стр.:
P.453-477
Библиография:
Bibliogr.: p.476-477
Источник:
Номер:
5
Том:
26
Карточка:
Б3.5, Б3.33.
Kang I., Lee I., Kim Y. -S..
An Efficient State Space Generation for the Analysis of Real-Time Systems// IEEE Trans. on Software Engineering-2000, №5.-Vol. 26.-P.453-477
Bibliogr.: p.476-477
Таблица в старой библиотеке:
PAP24 596