Вы здесь
On a Decidability Border for Temporal Logics on Petri Nets
Количество экземпляров:
1
Вид:
Статья из сборника или журнала
Год:
1994
Ключевые слова:
Стр.:
P.39-44
Библиография:
Bibliogr.: p.44
Место издания:
Источник:
Карточка:
Б2.1, Б2.42.
Jancar P..
On a Decidability Border for Temporal Logics on Petri Nets-Milovy.// XXI SOFSEM 94: Contributed Talks, 1994.-P.39-44
Bibliogr.: p.44
Таблица в старой библиотеке:
PAP12 732