Вы здесь

Главная

All Action-Based Behavioural Equivalences are Undecidable for Labelled Petri Nets

Автор: 
Jancar P.
Количество экземпляров: 
1
Вид: 
Статья из сборника или журнала
Год: 
1995
Ключевые слова: 
сети петри
эквивалентность
Стр.: 
P.86-88.
Библиография: 
Bibliogr.: p.88.
Источник: 
EATCS Bull.
Номер: 
56
Карточка: 

Б2.42.

Jancar P..

All Action-Based Behavioural Equivalences are Undecidable for Labelled Petri Nets// EATCS Bull.-1995, №56.-P.86-88.
Bibliogr.: p.88.

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