Automatic Verification of Real-Time and Hybrid Systems | Мемориальная библиотека А.П. Ершова

Вы здесь

Автор:

Henzinger T. A.

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

1

Колл. автор:

Basic Research in Computer Science

Вид:

Препринт

Год:

1996

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

верификация

реальное время

гибридный

Стр.:

28 p.

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

Bibliogr.: p.25-28

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

Номер:

NS-96-5

Карточка:

А3.45, В3.3.

Henzinger T. A..

Automatic Verification of Real-Time and Hybrid Systems-Trykkeriet., 1996.-28 p.-(Препринт Basic Research in Computer Science №NS-96-5).
Bibliogr.: p.25-28

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

PREP2 390