Padberg, Julia
-
Volume 4: Graph and Model Transformation 2006 - Preface
Editorial
Details PDF -
Volume 2: Petri Nets and Graph Transformations - Preface
Foreword
Details PDF -
Volume 12: Formal Modeling of Adaptive and Mobile Processes - Articles
Layered Architecture Consistency for MANETs: Introducing New Team Members
Abstract PDF -
Volume 12: Formal Modeling of Adaptive and Mobile Processes - Preface
Preface
Details PDF -
Volume 51: Petri Nets, Graph Transformation and other Concurrency Formalisms 2012 - Preface
Preface
Details PDF -
Volume 68: Proceedings of the 8th International Workshop on Graph-Based Tools (GraBaTs 2014) - Articles
Towards Model Checking Reconfigurable Petri Nets using Maude
Abstract PDF -
Volume 68: Proceedings of the 8th International Workshop on Graph-Based Tools (GraBaTs 2014) - Articles
Non-Deterministic Matching Algorithm for Net Transformations
Abstract PDF
Hosted By Universitätsbibliothek TU Berlin.