Вы здесь

Behrmann G.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Unification & Sharing in Timed Automata Verification 2003 David A., Behrmann G., Larsen K. G., Yi W. Lecture Notes in Computer Science 29.05.2003
СТ 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
СТ Practical Verification of Embedded Software 2000 Staunstrup J., Andersen H. R., Hulgaard H., Lind-Nielsen J., Larsen K. G., Behrmann G., Kristoffersen K., Skou A., Leerberg H., Theilgaard N. B. Computer 26.07.2000
П 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