Вы здесь
Strazovsky O.
Автор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СТ | Deciding probabilistic bisimilarity over infinite-state probabilistic system | 2008 | Brazdil T., Kucera A., Strazovsky O. | Acta Informatica | 07.06.2008 |