%0 Thesis %1 werfphd %A Werf, J.M.E.M. van der %D 2011 %K BPM collection imported %T Compositional Design and Verification of Component-Based Information Systems

@phdthesis{werfphd, added-at = {2012-11-22T19:17:38.000+0100}, author = {Werf, {J.M.E.M. van der}}, biburl = {https://www.bibsonomy.org/bibtex/2bfd859984de199581c24e31e935a6025/wvdaalst}, interhash = {f2d2edd8b44d74a355a3ef411a7f91cf}, intrahash = {bfd859984de199581c24e31e935a6025}, keywords = {BPM collection imported}, school = {Eindhoven University of Technology}, timestamp = {2012-11-22T19:22:28.000+0100}, title = {{Compositional Design and Verification of Component-Based Information Systems}}, type = {PhD Thesis}, year = 2011 }