Вы здесь

Moller M. O.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Formal Verification Of UML Statecharts with Real-Time Extensions 2002 David A., Moller M. O., Yi W. Lecture Notes in Computer Science 15.05.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