Вы здесь

Balser M.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Interactive Verification of UML State Machines 2004 Balser M., Baeumler S., Knapp A., Reif W., Thums A. Lecture Notes in Computer Science Lecture Notes in Computer Science 26.02.2005