Вы здесь

Knottenbelt W. J.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ 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