Вы здесь

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
  1. Ball Th.
  2. Jones R. B.
28.09.2006