Вы здесь

Gomm D.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Causality Based Proof of a Distributed Shared Memory System 1993 Gomm D., Kindler E. Lecture Notes in Computer Science 05.11.1993
СТ Compositional Liveness Properties of EN-Systems 1993 Gomm D., Kindler E., Paech B., Walter R. Lecture Notes in Computer Science 21.08.1993