Deciding probabilistic bisimilarity over infinite-state probabilistic system | Мемориальная библиотека А.П. Ершова

Вы здесь

Автор:

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

1

Вид:

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

Год:

2008

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

вероятностный

бисимуляция

разрешимость

алгоритм

сложность

Стр.:

P.131-154

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

Bibliogr.: p.153-154

Источник:

Acta Informatica

Номер:

2

Том:

45

Карточка:

Б2.11, Б2.22.

Brazdil T., Kucera A., Strazovsky O..

Deciding probabilistic bisimilarity over infinite-state probabilistic system// Acta Informatica-2008, №2.-Vol. 45.-P.131-154
Bibliogr.: p.153-154

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

PAP31 241