Hoffmann, Kathrin, Germany
-
Volume 4: Graph and Model Transformation 2006 - Articles
Termination of Algebraic Rewriting with Inhibitors
Abstract PDF -
Volume 10: Graph Transformation and Visual Modeling Techniques 2008 - Articles
Negative Application Conditions for Reconfigurable Place/Transition Systems
Abstract PDF -
Volume 12: Formal Modeling of Adaptive and Mobile Processes - Articles
Layered Architecture Consistency for MANETs: Introducing New Team Members
Abstract PDF -
Volume 30: Graph and Model Transformation 2010 - Articles
Formal Modeling of Communication Platforms using Reconfigurable Algebraic High-Level Nets
Abstract PDF
Hosted By Universitätsbibliothek TU Berlin.