Вы здесь
The timed barbed bisimulation is decidable for timed transition systems with invariants
Количество экземпляров:
1
Вид:
Статья из сборника или журнала
Год:
2010
Ключевые слова:
Стр.:
P.65-90
Выпуск:
31
Библиография:
Bibliogr.: p.88-90
Серия:
Карточка:
Б2.2, Б2.1.
Gribovskaya N. S..
The timed barbed bisimulation is decidable for timed transition systems with invariants// Bulletin of the Novosibirsk Computing Center-2010.-P.65-90-(Computer Science, Вып.31).
Bibliogr.: p.88-90
Таблица в старой библиотеке:
PAP31 597