Logical Characterization of Probablistic theta-Bisimulation Equivalents | Мемориальная библиотека А.П. Ершова

Вы здесь

Автор:

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

1

Вид:

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

Год:

2004

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

сети петри

стохастический

бисимуляция

модальный

эквивалентность

семантика

Стр.:

P.97-111

Выпуск:

20

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

Bibliogr.: p.109-111

Место издания:

Серия:

Computer Science

Источник:

Joint Bull. of NCC and IIS

Карточка:

Б2.42.

Tarasyuk I. V..

Logical Characterization of Probablistic theta-Bisimulation Equivalents-Novosibirsk, P..// Joint Bull. of NCC and IIS, 2004.-P.97-111-(Computer Science).
Bibliogr.: p.109-111

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

PAP29 434