Runtime Efficient State Compaction in SPIN

Вы здесь

Автор:

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

Вид:

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

Год:

1999

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

Стр.:

P.12-21.

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

Bibliogr.: p.21

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

Источник:

Том:

1680

Карточка:

Б2.23, Б3.54.

Geldenhuys J., De Villiers P.J. A..

Runtime Efficient State Compaction in SPIN: Springer// Lecture Notes in Computer Science-1999.-Vol. 1680.-P.12-21.
Bibliogr.: p.21

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

PAP20 307