Вы здесь

Fainekos G. E.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Temporal Logic Verification Using Simulation 2006 Fainekos G. E., Girard A., Pappas G. J. Lecture Notes in Computer Science Lecture Notes in Computer Science 20.10.2006