Вы здесь
Compositional Model-Checking for Real-time Systems
Количество экземпляров:
1
Вид:
Статья из сборника или журнала
Год:
1998
Ключевые слова:
Стр.:
P.99.
Библиография:
Bibliogr.: p.99
Источник:
Номер:
1
Том:
23
Карточка:
Б3.54.
Hou J., Li X., Fan X., Zheng G..
Compositional Model-Checking for Real-time Systems// Software Engineering Notes-1998, №1.-Vol. 23.-P.99.
Bibliogr.: p.99
Таблица в старой библиотеке:
ACM5 557