Вы здесь

Thums A.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ 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
СТ Model Checking FTA 2003 Thums A. Lecture Notes in Computer Science 24.09.2003