Вы здесь
Das C.
Автор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| П | Automating the Refinement of Specifications for Distributed Systems via Syntactic Transformations | 1995 | Attie P., Das C., Deng Y., Evangelist M. | 03.11.1995 | ||||
| СТ | Dependentability Modeling for Multiprocessors | 1990 | Das C., Kreulen T., Thazhuthaeetil M. | Computer | 03.08.1991 |