Вы здесь
Obradovic D.
Автор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СТ | Verisim: Formal Analysis of Network Simulations | 2000 | Bhargavan K., Gunter C. A., Kim M., Lee I., Obradovic D., Sokolovsky O., Viswanathan M. | Software Engineering Notes | 14.12.2000 |