Home
EPiC Series
Kalpa Publications
Preprints
For Authors
For Editors
Author
:
Harald König
Publications
Formalization and Analysis of BPMN Using Graph Transformation Systems
Tim Kräuter
,
Harald König
,
Adrian Rutle
and
Yngve Lamo
EasyChair Preprint 8626
Keyphrases
BPMN
,
graph transformations
,
model checking
,
process modeling
.
Copyright © 2012-2025 easychair.org. All rights reserved.
