Вы здесь
Goldsmith M. H.
Автор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СТ | Hierarchical Compression for Model-Checking CSP or How to Check 10 Dining Philosophers for Deadlock | 1995 | Roscoe A. W., Gardiner P.H. B., Goldsmith M. H., Hulance J. R., Jackson D. M., Scattergood J. B. | Lecture Notes in Computer Science | 11.01.1996 |