Вы здесь

Chatzaki M.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Verification with Real-Time COSPAN 1993 Courcoubetis C., Dill D., Chatzaki M., Tzounakis P. Lecture Notes in Computer Science 07.05.1993