Вы здесь

Fehnker A.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
П As Cheap as Possible: Linearly Priced Timed Automata 2002 Behrmann G., Brinksma E., Fehnker A., Larsen K., Pettersson P., Romijn J., Vaandrager F. Techn.Univ.Munchen 24.08.2002
П Hybrid I/O Automata Revisited + A LEGO Case Study 2002 Lynch N., Segala R., Vaandrager F., Fehnker A. Techn.Univ.Munchen 24.08.2002
СТ UPPAAL - Now, Next, and Future 2001 Amnell T., Behrmann G., Bengtsson J., D Argenio P. R., David A., Fehnker A., Hune T., Jeannet B., Larsen K. G., Moller M. O., Pettersson P., Weise C., Yi W. Lecture Notes in Computer Science 04.11.2001

Редактор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СБ Logic for Programming, Artificial Intelligence, and Reasoning: Proc./20th International Conference, LPAR-20 2015, Suva, Fiji, November 2015 2015 Lecture Notes in Computer Science
  1. Davis M.
  2. Fehnker A.
  3. McIver A.
  4. Voronkov A.
12.01.2016