@book{DBLP:series/lnbip/Weber09,
author = {Ingo M. Weber},
title = {Semantic Methods for Execution-level Business Process Modeling
- Modeling Support Through Process Verification and Service
Composition},
publisher = {Springer},
series = {Lecture Notes in Business Information Processing},
volume = {40},
year = {2009},
isbn = {978-3-642-05084-8},
pages = {3-231},
ee = {http://dx.doi.org/10.1007/978-3-642-05085-5},
bibsource = {DBLP, http://dblp.uni-trier.de}
}