Symbolic Methods for the State Space Exploration of GSPN Models | Мемориальная библиотека А.П. Ершова

Вы здесь

Автор:

Knottenbelt W. J.

Kritzinger P. S.

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

1

Вид:

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

Год:

2002

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

сети петри

Стр.:

P.188-199

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

Bibliogr.: p.198-199

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

Источник:

Lecture Notes in Computer Science

Том:

2324

Карточка:

Б2.42.

Davies I., Knottenbelt W. J., Kritzinger P. S..

Symbolic Methods for the State Space Exploration of GSPN Models: Springer// Lecture Notes in Computer Science-2002.-Vol. 2324.-P.188-199
Bibliogr.: p.198-199

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

PAP24 935