Вы здесь
Jones R. B.
Автор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СТ | Formal Verification of Out-of-Order Execution Using Incremental Flushing | 1998 | Skakkebaek J. U., Jones R. B., Dill D. L. | Lecture Notes in Computer Science | 03.07.1998 |
Редактор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СБ | Computer Aided Verification: Proc./18th International Conference, CAV 2006. Seattle, WA, USA, August 2006 | 2006 | Lecture Notes in Computer Science |
|
28.09.2006 |