A taxonomy of fairness and temporal logic problems for Petri nets

Вы здесь

Автор:

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

Вид:

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

Год:

1991

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

Стр.:

P.341-372.

Источник:

Номер:

Том:

Карточка:

Б2.13, Б2.22.

Howell R., Rosier L., Yen H..

A taxonomy of fairness and temporal logic problems for Petri nets// Theoretical Computer Science-1991, №2.-Vol. 82.-P.341-372.

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

PAP2 121