Вы здесь
Korver H.
Автор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СТ | On Automating Process Algebra Proofs | 1996 | Korver H., Sellink M.P. A. | ISCIS XI: Proc. of the Eleventh Intern. Symp. on Computer and Information Sciences. Antalya, Turkey, November 1996 | 07.12.1996 |