Вы здесь

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