%0 Journal Article
%A Andreas Speck
%A Sven Feja
%A Sören Witt
%A Elke Pulvermüller
%A Marcel Schulz
%T Formalizing Business Process Specifications
%J Computer Science and Information Systems
%D 2011
%V 8
%N 2
%I mathdoc
%U http://geodesic.mathdoc.fr/item/CSIS_2011_8_2_a9/
%F CSIS_2011_8_2_a9