Using Abstract Interpretation for Gate splitting in LOTOS Specifications

Вы здесь

Автор:

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

Вид:

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

Год:

1992

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

Стр.:

P.194-204.

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

Bibliogr.: p.203-204.

Источник:

Номер:

81-82

Карточка:

Б3.52, Б2.15.

Giannotti F., Latella D..

Using Abstract Interpretation for Gate splitting in LOTOS Specifications// BIGRE-1992, №81-82.-P.194-204.
Bibliogr.: p.203-204.

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

PAP4 570