TY  - JOUR
AU  - Andreas Speck
AU  - Sven Feja
AU  - Sören Witt
AU  - Elke Pulvermüller
AU  - Marcel Schulz
TI  - Formalizing Business Process Specifications
JO  - Computer Science and Information Systems
PY  - 2011
VL  - 8
IS  - 2
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/CSIS_2011_8_2_a9/
ID  - CSIS_2011_8_2_a9
ER  -