Вы здесь

Schubert E. T.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ A Hybrid Model for Reasoning about Composed Hardware Systems 1994 Schubert E. T. Lecture Notes in Computer Science 28.07.1994

Редактор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СБ Higher Order Logic Theorem Proving and Its Applications: 8th International Workshop. Aspen Grove, UT, USA, September 1995 1995 Lecture Notes in Computer Science
  1. Schubert E. T.
  2. Windley P. J.
  3. Alves-Foss J.
27.09.1995