Вы здесь

Behrmann G.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
П 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
СТ 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
СТ 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
СТ Unification & Sharing in Timed Automata Verification 2003 David A., Behrmann G., Larsen K. G., Yi W. Lecture Notes in Computer Science 29.05.2003