Вы здесь

Categorical Modelling of trace equivalence for timed automata models with invariants

Автор: 
Количество экземпляров: 
1
Вид: 
Статья из сборника или журнала
Год: 
2009
Стр.: 
P.55-66
Выпуск: 
28
Библиография: 
Bibliogr.: p.65-66
Карточка: 

Б2.11, Б2.2.

Gribovskaya N. S..

Categorical Modelling of trace equivalence for timed automata models with invariants// Bulletin of the Novosibirsk Computing Center-2009.-P.55-66
Bibliogr.: p.65-66

Таблица в старой библиотеке: 
ISI3 42