TY - JOUR A1 - Golas, Ulrike A1 - Hoffmann, Kathrin A1 - Ehrig, Hartmut A1 - Rein, A. A1 - Padberg, J. T1 - Functorial Analysis of Algebraic Higher-Order Net Systems with Applications to Mobile Ad-Hoc Networks JF - ECEASST Y1 - 2011 UR - http://journal.ub.tu-berlin.de/eceasst/article/view/631 VL - 40 SP - 1 EP - 20 ER -