Вы здесь

Geilen M.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Branching Time-Property Preservation Between Real-Time Systems 2006 Huang J., Geilen M., Voeten J., Corporaal H. Lecture Notes in Computer Science Lecture Notes in Computer Science 11.01.2007