Вы здесь

Hoffmann K.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Algebraic Higher-Order Nets: Graphs and Petri Nets as Tokens 2003 Hoffmann K., Mossakowski T. Lecture Notes in Computer Science 14.01.2004
СТ High-Level Net Progresses 2002 Ehrig H., Hoffmann K., Padberg J., Baldan P., Heckel R. Lecture Notes in Computer Science 14.03.2002
СТ Stepwise Introduction and Preservation of Safety Properties in Algebraic High-Level Net Systems 2000 Padberg J., Hoffmann K., Gajewsky M. Lecture Notes in Computer Science 25.04.2000