Hoffmann, Kathrin
-
Volume 12: Formal Modeling of Adaptive and Mobile Processes - Preface
Preface
Details PDF -
Volume 12: Formal Modeling of Adaptive and Mobile Processes - Articles
Flexible Modeling of Emergency Scenarios using Reconfigurable Systems
Abstract PDF -
Volume 51: Petri Nets, Graph Transformation and other Concurrency Formalisms 2012 - Articles
On Modelling Communication in Ubiquitous Computing Systems using Algebraic Higher Order Nets
Abstract PDF -
Volume 51: Petri Nets, Graph Transformation and other Concurrency Formalisms 2012 - Preface
Preface
Details PDF
Hosted By Universitätsbibliothek TU Berlin.