Вы здесь
Kritzinger P. S.
Автор:
Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
---|---|---|---|---|---|---|---|---|
СТ | Symbolic Methods for the State Space Exploration of GSPN Models | 2002 | Davies I., Knottenbelt W. J., Kritzinger P. S. | Lecture Notes in Computer Science | 29.05.2002 |