Вы здесь
Lynch N. A.
Автор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СТ | Using Simulated Execution in Verifying Distributed Algorithms | 2003 | Win T. N., Ernst M. D., Garland S. J., Kirli D., Lynch N. A. | Lecture Notes in Computer Science | 31.01.2003 |
Редактор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СБ | Distributed Computing: Proc./24th International Symposium, DISC 2010, Cambridge,MA,USA, September 2010 | 2010 | Lecture Notes in Computer Science |
|
23.11.2010 |