Вы здесь

Главная

Verifying Linear Duration Constraints of Timed Automata

Автор: 
Thai Ph. H.
Van Hung D.
Количество экземпляров: 
1
Вид: 
Статья из сборника или журнала
Год: 
2005
Ключевые слова: 
временной
автомат
ограничение
длительность
верификация
Стр.: 
P.295-309
Библиография: 
Bibliogr.: p.308-309
Место издания: 
Berlin
Heidelberg
Издательство: 
Springer
Серия: 
Lecture Notes in Computer Science
Источник: 
Lecture Notes in Computer Science
Том: 
3407
Карточка: 

Б2.23, Б2.11.

Thai Ph. H., Van Hung D..

Verifying Linear Duration Constraints of Timed Automata-Berlin, Heidelberg.: Springer// Lecture Notes in Computer Science, 2005.-Vol. 3407.-P.295-309-(Lecture Notes in Computer Science).
Bibliogr.: p.308-309

Таблица в старой библиотеке: 
PAP29 916