Using Abstractions for the Verification of Linear Hybrid Systems | Мемориальная библиотека А.П. Ершова

Вы здесь

Автор:

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

1

Вид:

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

Год:

1994

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

верификация

гибридный

Стр.:

P.81-94.

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

Bibliogr.: p.94.

Издательство:

Источник:

Lecture Notes in Computer Science

Том:

818

Карточка:

А3.45, В3.3.

Olivero A., Sifakis J., Yovine S..

Using Abstractions for the Verification of Linear Hybrid Systems: Springer// Lecture Notes in Computer Science-1994.-Vol. 818.-P.81-94.
Bibliogr.: p.94.

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

PAP8 943