Вы здесь
Korver H. P.
Автор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| П | Computing Distinguishing Formulas for Branching Bisimulation | 1991 | Korver H. P. | Univ. Amsterdam | 07.06.1995 |
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| П | Computing Distinguishing Formulas for Branching Bisimulation | 1991 | Korver H. P. | Univ. Amsterdam | 07.06.1995 |