Bridging the Gap Between Place- and Floyd-Unvariants with Applications to Preemptive Scheduling | Мемориальная библиотека А.П. Ершова

Вы здесь

Автор:

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

1

Вид:

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

Год:

1993

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

сети петри

верификация

программа

Стр.:

P.433-452.

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

Bibliogr.: p.452

Источник:

Lecture Notes in Computer Science

Том:

691

Карточка:

Б2.42.

Valk R..

Bridging the Gap Between Place- and Floyd-Unvariants with Applications to Preemptive Scheduling// Lecture Notes in Computer Science-1993.-Vol. 691.-P.433-452.
Bibliogr.: p.452

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

PAP6 465