Вы здесь

Pappas G. J.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ 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

Редактор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СБ Hybrid Systems - Computation and Control: Proc./7th Intern. Workshop, HSCC 2004, Philadelphia, PA, USA, March 2004 2004 Lecture Notes in Computer Science
  1. Alur R.
  2. Pappas G. J.
16.04.2004