Compositional Minimization of Finite State Systems Using Interface Specifications | Мемориальная библиотека А.П. Ершова

Вы здесь

Автор:

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

1

Колл. автор:

Вид:

Препринт

Год:

1995

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

распределенный

интерфейс

спецификация

минимизация

верификация

семантика

Стр.:

42 p.

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

Bibliogr.: p.33-35.

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

Номер:

MIP-9505

Карточка:

А3.54, Б2.24, Б2.4.

Graf S., Steffen B., Luttgen G..

Compositional Minimization of Finite State Systems Using Interface Specifications-Passau., 1995.-42 p.-(Препринт Univ.Passau №MIP-9505).
Bibliogr.: p.33-35.

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

PREP2 165