A CSP Approach to Control in Event-B
S. Schneider, H. Treharne, H. Wehrheim, in: D. M\rquote ery, S. Merz (Eds.), Integrated Formal Methods - 8th International Conference, IFM 2010, Nancy, France, October 11-14, 2010. Proceedings, 2010, pp. 260--274.
LibreCat: /record/3195
DOI: 10.1007/978-3-642-16265-7_19

SLAB: A Certifying Model Checker for Infinite-State Concurrent Systems
K. Dräger, A. Kupriyanov, B. Finkbeiner, H. Wehrheim, in: J. Esparza, R. Majumdar (Eds.), Tools and Algorithms for the Construction and Analysis of Systems, 16th International Conference, TACAS 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings, 2010, pp. 271--274.
LibreCat: /record/3196
DOI: 10.1007/978-3-642-12002-2_22

Towards A Shape Analysis for Graph Transformation Systems
D. Steenken, H. Wehrheim, D. Wonisch, CoRR (2010).
LibreCat: /record/3198

Survival at the center—the stability of minimum differentiation
B. Hehenkamp, A. Wambach, Journal of Economic Behavior &; Organization (2010) 853--858.
LibreCat: /record/3418

Produktivitätsbenchmarking als Bestandteil eines integrierten Ansatzes zur Vermarktung hybrider Leistungsbündel
K. Backhaus, J. Becker, D. Beverungen, O. Broeker, R. Knackstedt, A. Nikula, R. Wilken, in: 40. Jahrestagung Der Gesellschaft Für Informatik, Leipzig, Germany, 2010.
LibreCat: /record/3463

Incorporating Willingness-to-Pay Data into Online Recommendations for Value-Added Services
K. Backhaus, J. Becker, D. Beverungen, M. Frohs, O. Müller, M. Weddeling, in: European Conference on Information Systems, Pretoria, South Africa, 2010.
LibreCat: /record/3464

Produktivitätsmanagement hybrider Leistungsbündel --- Auf dem Weg zu einer Produktivitätsmanagementsystematik für effiziente Wertschöpfungspartnerschaften
J. Becker, D. Beverungen, N. Blinn, M. Fellmann, R. Knackstedt, M. Nüttgens, O. Thomas, in: Proceedings of the Multikonferenz Wirtschaftsinformatik, Göttingen, Germany, 2010.
LibreCat: /record/3465

Assumptions in Service Research --- A Multi-Theoretical Perspective on the Development of Standards for the Integration of Goods and Services
J. Becker, D. Beverungen, N. Blinn, M. Nüttgens, in: XX. International RESER Conference, Gothenburg, Sweden, 2010.
LibreCat: /record/3466

Total Cost of Service Life --- Decision Support for Selecting and Orchestrating Services
J. Becker, D. Beverungen, M. Matzner, O. Müller, in: P. Kommers, P. Isaías (Eds.), Proceedings of the IADIS Internatioal Conference E-Society 2010, Porto, Portugal, 2010, pp. 322--329.
LibreCat: /record/3467

Total Costs of Service Life: The Need of Decision Support in Selecting, Comparing and Orchestrating Services
J. Becker, D. Beverungen, M. Matzner, O. Müller, in: J.-H. Morin, J. Ralyté, M. Snene (Eds.), Exploring Service Sciences, Berlin, 2010, pp. 282--288.
LibreCat: /record/3468
DOI: 10.1007/978-3-642-14319-9_25