Visual Verification of Reactive Systems

Вы здесь

Автор:

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

Вид:

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

Год:

1997

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

Стр.:

P.334-350.

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

Bibliogr.: p.349-350

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

Источник:

Том:

1217

Карточка:

Б2.23, Б3.33.

De Alfaro L., Manna Z., Sipma H. B., Uribe T. E..

Visual Verification of Reactive Systems: Springer// Lecture Notes in Computer Science-1997.-Vol. 1217.-P.334-350.
Bibliogr.: p.349-350

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

PAP16 321