A Temporal Logic Approach to Implementation and Refinement in Timed Petri Nets

Вы здесь

Автор:

Felder M.

Morzenti A.

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

Вид:

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

Год:

1994

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

темпоральный

логика

сети петри

Стр.:

P.365-381.

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

Bibliogr.: p.380-381.

Источник:

Lecture Notes in Artificial Intelligence

Том:

827

Карточка:

Б2.42.

Felder M., Morzenti A..

A Temporal Logic Approach to Implementation and Refinement in Timed Petri Nets// Lecture Notes in Artificial Intelligence-1994.-Vol. 827.-P.365-381.
Bibliogr.: p.380-381.

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

PAP9 129