Вы здесь

Schepers H.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Trace-Based Compositional Reasoning about Fault Tolerant Systems 1993 Schepers H., Hooman J. Lecture Notes in Computer Science 29.07.1993