Hybrid Automata with Finite Bisimulations | Мемориальная библиотека А.П. Ершова

Вы здесь

Автор:

Henzinger T. A.

Количество экземпляров:

1

Вид:

Статья из сборника или журнала

Год:

1995

Ключевые слова:

гибридный

Стр.:

P.324-335

Библиография:

Bibliogr.: p.334-335

Место издания:

Серия:

Lecture Notes in Computer Science

Источник:

Automata, Languages and Programming

Том:

944

Карточка:

А2.2.

Henzinger T. A..

Hybrid Automata with Finite Bisimulations-Berlin, Heidelberg.// Automata, Languages and Programming, 1995.-Vol. 944.-P.324-335-(Lecture Notes in Computer Science).
Bibliogr.: p.334-335

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

PAP12 668