--- _id: '3204' author: - first_name: H.{-}Christian full_name: Estler, H.{-}Christian last_name: Estler - first_name: Heike full_name: Wehrheim, Heike id: '573' last_name: Wehrheim citation: ama: Estler H.-}Christian, Wehrheim H. Alloy as a Refactoring Checker? Electr Notes Theor Comput Sci. 2008:331--357. doi:10.1016/j.entcs.2008.06.015 apa: Estler, H. .-}Christian, & Wehrheim, H. (2008). Alloy as a Refactoring Checker? Electr. Notes Theor. Comput. Sci., 331--357. https://doi.org/10.1016/j.entcs.2008.06.015 bibtex: '@article{Estler_Wehrheim_2008, title={Alloy as a Refactoring Checker?}, DOI={10.1016/j.entcs.2008.06.015}, journal={Electr. Notes Theor. Comput. Sci.}, author={Estler, H.{-}Christian and Wehrheim, Heike}, year={2008}, pages={331--357} }' chicago: Estler, H.{-}Christian, and Heike Wehrheim. “Alloy as a Refactoring Checker?” Electr. Notes Theor. Comput. Sci., 2008, 331--357. https://doi.org/10.1016/j.entcs.2008.06.015. ieee: H. .-}Christian Estler and H. Wehrheim, “Alloy as a Refactoring Checker?,” Electr. Notes Theor. Comput. Sci., pp. 331--357, 2008. mla: Estler, H. .. }Christian, and Heike Wehrheim. “Alloy as a Refactoring Checker?” Electr. Notes Theor. Comput. Sci., 2008, pp. 331--357, doi:10.1016/j.entcs.2008.06.015. short: H..-}Christian Estler, H. Wehrheim, Electr. Notes Theor. Comput. Sci. (2008) 331--357. date_created: 2018-06-13T09:47:06Z date_updated: 2022-01-06T06:59:04Z department: - _id: '77' doi: 10.1016/j.entcs.2008.06.015 page: 331--357 publication: Electr. Notes Theor. Comput. Sci. status: public title: Alloy as a Refactoring Checker? type: journal_article user_id: '29719' year: '2008' ... --- _id: '3205' author: - first_name: Michael full_name: Möller, Michael last_name: Möller - first_name: Ernst-Rüdiger full_name: Olderog, Ernst-Rüdiger last_name: Olderog - first_name: Holger full_name: Rasch, Holger last_name: Rasch - first_name: Heike full_name: Wehrheim, Heike id: '573' last_name: Wehrheim citation: ama: Möller M, Olderog E-R, Rasch H, Wehrheim H. Integrating a formal method into a software engineering process with {UML} and Java. Formal Asp Comput. 2008;(2):161--204. doi:10.1007/s00165-007-0042-7 apa: Möller, M., Olderog, E.-R., Rasch, H., & Wehrheim, H. (2008). Integrating a formal method into a software engineering process with {UML} and Java. Formal Asp. Comput., (2), 161--204. https://doi.org/10.1007/s00165-007-0042-7 bibtex: '@article{Möller_Olderog_Rasch_Wehrheim_2008, title={Integrating a formal method into a software engineering process with {UML} and Java}, DOI={10.1007/s00165-007-0042-7}, number={2}, journal={Formal Asp. Comput.}, author={Möller, Michael and Olderog, Ernst-Rüdiger and Rasch, Holger and Wehrheim, Heike}, year={2008}, pages={161--204} }' chicago: 'Möller, Michael, Ernst-Rüdiger Olderog, Holger Rasch, and Heike Wehrheim. “Integrating a Formal Method into a Software Engineering Process with {UML} and Java.” Formal Asp. Comput., no. 2 (2008): 161--204. https://doi.org/10.1007/s00165-007-0042-7.' ieee: M. Möller, E.-R. Olderog, H. Rasch, and H. Wehrheim, “Integrating a formal method into a software engineering process with {UML} and Java,” Formal Asp. Comput., no. 2, pp. 161--204, 2008. mla: Möller, Michael, et al. “Integrating a Formal Method into a Software Engineering Process with {UML} and Java.” Formal Asp. Comput., no. 2, 2008, pp. 161--204, doi:10.1007/s00165-007-0042-7. short: M. Möller, E.-R. Olderog, H. Rasch, H. Wehrheim, Formal Asp. Comput. (2008) 161--204. date_created: 2018-06-13T09:48:29Z date_updated: 2022-01-06T06:59:04Z department: - _id: '77' doi: 10.1007/s00165-007-0042-7 issue: '2' page: 161--204 publication: Formal Asp. Comput. status: public title: Integrating a formal method into a software engineering process with {UML} and Java type: journal_article user_id: '29719' year: '2008' ... --- _id: '3206' author: - first_name: Ingo full_name: Brückner, Ingo last_name: Brückner - first_name: Klaus full_name: Dräger, Klaus last_name: Dräger - first_name: Bernd full_name: Finkbeiner, Bernd last_name: Finkbeiner - first_name: Heike full_name: Wehrheim, Heike id: '573' last_name: Wehrheim citation: ama: Brückner I, Dräger K, Finkbeiner B, Wehrheim H. Slicing Abstractions. Fundam Inform. 2008;(4):369--392. apa: Brückner, I., Dräger, K., Finkbeiner, B., & Wehrheim, H. (2008). Slicing Abstractions. Fundam. Inform., (4), 369--392. bibtex: '@article{Brückner_Dräger_Finkbeiner_Wehrheim_2008, title={Slicing Abstractions}, number={4}, journal={Fundam. Inform.}, author={Brückner, Ingo and Dräger, Klaus and Finkbeiner, Bernd and Wehrheim, Heike}, year={2008}, pages={369--392} }' chicago: 'Brückner, Ingo, Klaus Dräger, Bernd Finkbeiner, and Heike Wehrheim. “Slicing Abstractions.” Fundam. Inform., no. 4 (2008): 369--392.' ieee: I. Brückner, K. Dräger, B. Finkbeiner, and H. Wehrheim, “Slicing Abstractions,” Fundam. Inform., no. 4, pp. 369--392, 2008. mla: Brückner, Ingo, et al. “Slicing Abstractions.” Fundam. Inform., no. 4, 2008, pp. 369--392. short: I. Brückner, K. Dräger, B. Finkbeiner, H. Wehrheim, Fundam. Inform. (2008) 369--392. date_created: 2018-06-13T09:50:07Z date_updated: 2022-01-06T06:59:04Z department: - _id: '77' issue: '4' page: 369--392 publication: Fundam. Inform. status: public title: Slicing Abstractions type: journal_article user_id: '29719' year: '2008' ... --- _id: '3207' author: - first_name: Gregor full_name: Engels, Gregor id: '107' last_name: Engels - first_name: Anneke full_name: Kleppe, Anneke last_name: Kleppe - first_name: Arend full_name: Rensink, Arend last_name: Rensink - first_name: Maria full_name: Semenyak, Maria last_name: Semenyak - first_name: Christian full_name: Soltenborn, Christian id: '1737' last_name: Soltenborn orcid: 0000-0002-0342-8227 - first_name: Heike full_name: Wehrheim, Heike id: '573' last_name: Wehrheim citation: ama: 'Engels G, Kleppe A, Rensink A, Semenyak M, Soltenborn C, Wehrheim H. From {UML} Activities to {TAAL} - Towards Behaviour-Preserving Model Transformations. In: Schieferdecker I, Hartman A, eds. Model Driven Architecture - Foundations and Applications, 4th European Conference, {ECMDA-FA} 2008, Berlin, Germany, June 9-13, 2008. Proceedings. Lecture Notes in Computer Science. ; 2008:94--109. doi:10.1007/978-3-540-69100-6_7' apa: Engels, G., Kleppe, A., Rensink, A., Semenyak, M., Soltenborn, C., & Wehrheim, H. (2008). From {UML} Activities to {TAAL} - Towards Behaviour-Preserving Model Transformations. In I. Schieferdecker & A. Hartman (Eds.), Model Driven Architecture - Foundations and Applications, 4th European Conference, {ECMDA-FA} 2008, Berlin, Germany, June 9-13, 2008. Proceedings (pp. 94--109). https://doi.org/10.1007/978-3-540-69100-6_7 bibtex: '@inproceedings{Engels_Kleppe_Rensink_Semenyak_Soltenborn_Wehrheim_2008, series={Lecture Notes in Computer Science}, title={From {UML} Activities to {TAAL} - Towards Behaviour-Preserving Model Transformations}, DOI={10.1007/978-3-540-69100-6_7}, booktitle={Model Driven Architecture - Foundations and Applications, 4th European Conference, {ECMDA-FA} 2008, Berlin, Germany, June 9-13, 2008. Proceedings}, author={Engels, Gregor and Kleppe, Anneke and Rensink, Arend and Semenyak, Maria and Soltenborn, Christian and Wehrheim, Heike}, editor={Schieferdecker, Ina and Hartman, AlanEditors}, year={2008}, pages={94--109}, collection={Lecture Notes in Computer Science} }' chicago: Engels, Gregor, Anneke Kleppe, Arend Rensink, Maria Semenyak, Christian Soltenborn, and Heike Wehrheim. “From {UML} Activities to {TAAL} - Towards Behaviour-Preserving Model Transformations.” In Model Driven Architecture - Foundations and Applications, 4th European Conference, {ECMDA-FA} 2008, Berlin, Germany, June 9-13, 2008. Proceedings, edited by Ina Schieferdecker and Alan Hartman, 94--109. Lecture Notes in Computer Science, 2008. https://doi.org/10.1007/978-3-540-69100-6_7. ieee: G. Engels, A. Kleppe, A. Rensink, M. Semenyak, C. Soltenborn, and H. Wehrheim, “From {UML} Activities to {TAAL} - Towards Behaviour-Preserving Model Transformations,” in Model Driven Architecture - Foundations and Applications, 4th European Conference, {ECMDA-FA} 2008, Berlin, Germany, June 9-13, 2008. Proceedings, 2008, pp. 94--109. mla: Engels, Gregor, et al. “From {UML} Activities to {TAAL} - Towards Behaviour-Preserving Model Transformations.” Model Driven Architecture - Foundations and Applications, 4th European Conference, {ECMDA-FA} 2008, Berlin, Germany, June 9-13, 2008. Proceedings, edited by Ina Schieferdecker and Alan Hartman, 2008, pp. 94--109, doi:10.1007/978-3-540-69100-6_7. short: 'G. Engels, A. Kleppe, A. Rensink, M. Semenyak, C. Soltenborn, H. Wehrheim, in: I. Schieferdecker, A. Hartman (Eds.), Model Driven Architecture - Foundations and Applications, 4th European Conference, {ECMDA-FA} 2008, Berlin, Germany, June 9-13, 2008. Proceedings, 2008, pp. 94--109.' date_created: 2018-06-13T09:51:29Z date_updated: 2022-01-06T06:59:04Z department: - _id: '77' doi: 10.1007/978-3-540-69100-6_7 editor: - first_name: Ina full_name: Schieferdecker, Ina last_name: Schieferdecker - first_name: Alan full_name: Hartman, Alan last_name: Hartman language: - iso: eng page: 94--109 publication: Model Driven Architecture - Foundations and Applications, 4th European Conference, {ECMDA-FA} 2008, Berlin, Germany, June 9-13, 2008. Proceedings series_title: Lecture Notes in Computer Science status: public title: From {UML} Activities to {TAAL} - Towards Behaviour-Preserving Model Transformations type: conference user_id: '14955' year: '2008' ... --- _id: '3208' author: - first_name: John full_name: Derrick, John last_name: Derrick - first_name: Gerhard full_name: Schellhorn, Gerhard last_name: Schellhorn - first_name: Heike full_name: Wehrheim, Heike id: '573' last_name: Wehrheim citation: ama: 'Derrick J, Schellhorn G, Wehrheim H. Mechanizing a Correctness Proof for a Lock-Free Concurrent Stack. In: Barthe G, S. de Boer F, eds. Formal Methods for Open Object-Based Distributed Systems, 10th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2008, Oslo, Norway, June 4-6, 2008, Proceedings. Lecture Notes in Computer Science. ; 2008:78--95. doi:10.1007/978-3-540-68863-1_6' apa: Derrick, J., Schellhorn, G., & Wehrheim, H. (2008). Mechanizing a Correctness Proof for a Lock-Free Concurrent Stack. In G. Barthe & F. S. de Boer (Eds.), Formal Methods for Open Object-Based Distributed Systems, 10th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2008, Oslo, Norway, June 4-6, 2008, Proceedings (pp. 78--95). https://doi.org/10.1007/978-3-540-68863-1_6 bibtex: '@inproceedings{Derrick_Schellhorn_Wehrheim_2008, series={Lecture Notes in Computer Science}, title={Mechanizing a Correctness Proof for a Lock-Free Concurrent Stack}, DOI={10.1007/978-3-540-68863-1_6}, booktitle={Formal Methods for Open Object-Based Distributed Systems, 10th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2008, Oslo, Norway, June 4-6, 2008, Proceedings}, author={Derrick, John and Schellhorn, Gerhard and Wehrheim, Heike}, editor={Barthe, Gilles and S. de Boer, FrankEditors}, year={2008}, pages={78--95}, collection={Lecture Notes in Computer Science} }' chicago: Derrick, John, Gerhard Schellhorn, and Heike Wehrheim. “Mechanizing a Correctness Proof for a Lock-Free Concurrent Stack.” In Formal Methods for Open Object-Based Distributed Systems, 10th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2008, Oslo, Norway, June 4-6, 2008, Proceedings, edited by Gilles Barthe and Frank S. de Boer, 78--95. Lecture Notes in Computer Science, 2008. https://doi.org/10.1007/978-3-540-68863-1_6. ieee: J. Derrick, G. Schellhorn, and H. Wehrheim, “Mechanizing a Correctness Proof for a Lock-Free Concurrent Stack,” in Formal Methods for Open Object-Based Distributed Systems, 10th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2008, Oslo, Norway, June 4-6, 2008, Proceedings, 2008, pp. 78--95. mla: Derrick, John, et al. “Mechanizing a Correctness Proof for a Lock-Free Concurrent Stack.” Formal Methods for Open Object-Based Distributed Systems, 10th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2008, Oslo, Norway, June 4-6, 2008, Proceedings, edited by Gilles Barthe and Frank S. de Boer, 2008, pp. 78--95, doi:10.1007/978-3-540-68863-1_6. short: 'J. Derrick, G. Schellhorn, H. Wehrheim, in: G. Barthe, F. S. de Boer (Eds.), Formal Methods for Open Object-Based Distributed Systems, 10th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2008, Oslo, Norway, June 4-6, 2008, Proceedings, 2008, pp. 78--95.' date_created: 2018-06-13T09:52:29Z date_updated: 2022-01-06T06:59:04Z department: - _id: '77' doi: 10.1007/978-3-540-68863-1_6 editor: - first_name: Gilles full_name: Barthe, Gilles last_name: Barthe - first_name: Frank full_name: S. de Boer, Frank last_name: S. de Boer page: 78--95 publication: Formal Methods for Open Object-Based Distributed Systems, 10th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2008, Oslo, Norway, June 4-6, 2008, Proceedings series_title: Lecture Notes in Computer Science status: public title: Mechanizing a Correctness Proof for a Lock-Free Concurrent Stack type: conference user_id: '29719' year: '2008' ... --- _id: '3209' author: - first_name: Björn full_name: Metzler, Björn last_name: Metzler - first_name: Heike full_name: Wehrheim, Heike id: '573' last_name: Wehrheim - first_name: Daniel full_name: Wonisch, Daniel last_name: Wonisch citation: ama: 'Metzler B, Wehrheim H, Wonisch D. Decomposition for Compositional Verification. In: Liu S, S. E. Maibaum T, Araki K, eds. Formal Methods and Software Engineering, 10th International Conference on Formal Engineering Methods, {ICFEM} 2008, Kitakyushu-City, Japan, October 27-31, 2008. Proceedings. Lecture Notes in Computer Science. ; 2008:105--125. doi:10.1007/978-3-540-88194-0_9' apa: Metzler, B., Wehrheim, H., & Wonisch, D. (2008). Decomposition for Compositional Verification. In S. Liu, T. S. E. Maibaum, & K. Araki (Eds.), Formal Methods and Software Engineering, 10th International Conference on Formal Engineering Methods, {ICFEM} 2008, Kitakyushu-City, Japan, October 27-31, 2008. Proceedings (pp. 105--125). https://doi.org/10.1007/978-3-540-88194-0_9 bibtex: '@inproceedings{Metzler_Wehrheim_Wonisch_2008, series={Lecture Notes in Computer Science}, title={Decomposition for Compositional Verification}, DOI={10.1007/978-3-540-88194-0_9}, booktitle={Formal Methods and Software Engineering, 10th International Conference on Formal Engineering Methods, {ICFEM} 2008, Kitakyushu-City, Japan, October 27-31, 2008. Proceedings}, author={Metzler, Björn and Wehrheim, Heike and Wonisch, Daniel}, editor={Liu, Shaoying and S. E. Maibaum, T. and Araki, KeijiroEditors}, year={2008}, pages={105--125}, collection={Lecture Notes in Computer Science} }' chicago: Metzler, Björn, Heike Wehrheim, and Daniel Wonisch. “Decomposition for Compositional Verification.” In Formal Methods and Software Engineering, 10th International Conference on Formal Engineering Methods, {ICFEM} 2008, Kitakyushu-City, Japan, October 27-31, 2008. Proceedings, edited by Shaoying Liu, T. S. E. Maibaum, and Keijiro Araki, 105--125. Lecture Notes in Computer Science, 2008. https://doi.org/10.1007/978-3-540-88194-0_9. ieee: B. Metzler, H. Wehrheim, and D. Wonisch, “Decomposition for Compositional Verification,” in Formal Methods and Software Engineering, 10th International Conference on Formal Engineering Methods, {ICFEM} 2008, Kitakyushu-City, Japan, October 27-31, 2008. Proceedings, 2008, pp. 105--125. mla: Metzler, Björn, et al. “Decomposition for Compositional Verification.” Formal Methods and Software Engineering, 10th International Conference on Formal Engineering Methods, {ICFEM} 2008, Kitakyushu-City, Japan, October 27-31, 2008. Proceedings, edited by Shaoying Liu et al., 2008, pp. 105--125, doi:10.1007/978-3-540-88194-0_9. short: 'B. Metzler, H. Wehrheim, D. Wonisch, in: S. Liu, T. S. E. Maibaum, K. Araki (Eds.), Formal Methods and Software Engineering, 10th International Conference on Formal Engineering Methods, {ICFEM} 2008, Kitakyushu-City, Japan, October 27-31, 2008. Proceedings, 2008, pp. 105--125.' date_created: 2018-06-13T09:53:43Z date_updated: 2022-01-06T06:59:04Z department: - _id: '77' doi: 10.1007/978-3-540-88194-0_9 editor: - first_name: Shaoying full_name: Liu, Shaoying last_name: Liu - first_name: T. full_name: S. E. Maibaum, T. last_name: S. E. Maibaum - first_name: Keijiro full_name: Araki, Keijiro last_name: Araki page: 105--125 publication: Formal Methods and Software Engineering, 10th International Conference on Formal Engineering Methods, {ICFEM} 2008, Kitakyushu-City, Japan, October 27-31, 2008. Proceedings series_title: Lecture Notes in Computer Science status: public title: Decomposition for Compositional Verification type: conference user_id: '29719' year: '2008' ... --- _id: '3210' author: - first_name: Heike full_name: Wehrheim, Heike id: '573' last_name: Wehrheim citation: ama: 'Wehrheim H. Bounded Model Checking for Partial Kripke Structures. In: S. Fitzgerald J, Elisabeth Haxthausen A, Yenig{\"{u}}n H, eds. Theoretical Aspects of Computing - {ICTAC} 2008, 5th International Colloquium, Istanbul, Turkey, September 1-3, 2008. Proceedings. Lecture Notes in Computer Science. ; 2008:380--394. doi:10.1007/978-3-540-85762-4_26' apa: Wehrheim, H. (2008). Bounded Model Checking for Partial Kripke Structures. In J. S. Fitzgerald, A. Elisabeth Haxthausen, & H. Yenig{\"{u}}n (Eds.), Theoretical Aspects of Computing - {ICTAC} 2008, 5th International Colloquium, Istanbul, Turkey, September 1-3, 2008. Proceedings (pp. 380--394). https://doi.org/10.1007/978-3-540-85762-4_26 bibtex: '@inproceedings{Wehrheim_2008, series={Lecture Notes in Computer Science}, title={Bounded Model Checking for Partial Kripke Structures}, DOI={10.1007/978-3-540-85762-4_26}, booktitle={Theoretical Aspects of Computing - {ICTAC} 2008, 5th International Colloquium, Istanbul, Turkey, September 1-3, 2008. Proceedings}, author={Wehrheim, Heike}, editor={S. Fitzgerald, John and Elisabeth Haxthausen, Anne and Yenig{\"{u}}n, H{\"{u}}sn{\"{u}}Editors}, year={2008}, pages={380--394}, collection={Lecture Notes in Computer Science} }' chicago: Wehrheim, Heike. “Bounded Model Checking for Partial Kripke Structures.” In Theoretical Aspects of Computing - {ICTAC} 2008, 5th International Colloquium, Istanbul, Turkey, September 1-3, 2008. Proceedings, edited by John S. Fitzgerald, Anne Elisabeth Haxthausen, and H{\"{u}}sn{\"{u}} Yenig{\"{u}}n, 380--394. Lecture Notes in Computer Science, 2008. https://doi.org/10.1007/978-3-540-85762-4_26. ieee: H. Wehrheim, “Bounded Model Checking for Partial Kripke Structures,” in Theoretical Aspects of Computing - {ICTAC} 2008, 5th International Colloquium, Istanbul, Turkey, September 1-3, 2008. Proceedings, 2008, pp. 380--394. mla: Wehrheim, Heike. “Bounded Model Checking for Partial Kripke Structures.” Theoretical Aspects of Computing - {ICTAC} 2008, 5th International Colloquium, Istanbul, Turkey, September 1-3, 2008. Proceedings, edited by John S. Fitzgerald et al., 2008, pp. 380--394, doi:10.1007/978-3-540-85762-4_26. short: 'H. Wehrheim, in: J. S. Fitzgerald, A. Elisabeth Haxthausen, H. Yenig{\"{u}}n (Eds.), Theoretical Aspects of Computing - {ICTAC} 2008, 5th International Colloquium, Istanbul, Turkey, September 1-3, 2008. Proceedings, 2008, pp. 380--394.' date_created: 2018-06-13T09:54:58Z date_updated: 2022-01-06T06:59:05Z department: - _id: '77' doi: 10.1007/978-3-540-85762-4_26 editor: - first_name: John full_name: S. Fitzgerald, John last_name: S. Fitzgerald - first_name: Anne full_name: Elisabeth Haxthausen, Anne last_name: Elisabeth Haxthausen - first_name: H{\"{u}}sn{\"{u}} full_name: Yenig{\"{u}}n, H{\"{u}}sn{\"{u}} last_name: Yenig{\"{u}}n page: 380--394 publication: Theoretical Aspects of Computing - {ICTAC} 2008, 5th International Colloquium, Istanbul, Turkey, September 1-3, 2008. Proceedings series_title: Lecture Notes in Computer Science status: public title: Bounded Model Checking for Partial Kripke Structures type: conference user_id: '29719' year: '2008' ... --- _id: '3477' author: - first_name: Jörg full_name: Becker, Jörg last_name: Becker - first_name: Daniel full_name: Beverungen, Daniel id: '59677' last_name: Beverungen - first_name: Ralf full_name: Knackstedt, Ralf last_name: Knackstedt citation: ama: 'Becker J, Beverungen D, Knackstedt R. Reference Models and Modeling Languages for Product-Service Systems --- Status-Quo and Perspectives for Further Research. In: Proceedings of the 41th Hawai’i International Conference on System Sciences. Waikoloa, Hawaii; 2008.' apa: Becker, J., Beverungen, D., & Knackstedt, R. (2008). Reference Models and Modeling Languages for Product-Service Systems --- Status-Quo and Perspectives for Further Research. In Proceedings of the 41th Hawai’i International Conference on System Sciences. Waikoloa, Hawaii. bibtex: '@inproceedings{Becker_Beverungen_Knackstedt_2008, place={Waikoloa, Hawaii}, title={Reference Models and Modeling Languages for Product-Service Systems --- Status-Quo and Perspectives for Further Research}, booktitle={Proceedings of the 41th Hawai’i International Conference on System Sciences}, author={Becker, Jörg and Beverungen, Daniel and Knackstedt, Ralf}, year={2008} }' chicago: Becker, Jörg, Daniel Beverungen, and Ralf Knackstedt. “Reference Models and Modeling Languages for Product-Service Systems --- Status-Quo and Perspectives for Further Research.” In Proceedings of the 41th Hawai’i International Conference on System Sciences. Waikoloa, Hawaii, 2008. ieee: J. Becker, D. Beverungen, and R. Knackstedt, “Reference Models and Modeling Languages for Product-Service Systems --- Status-Quo and Perspectives for Further Research,” in Proceedings of the 41th Hawai’i International Conference on System Sciences, Waikoloa, Hawaii, 2008. mla: Becker, Jörg, et al. “Reference Models and Modeling Languages for Product-Service Systems --- Status-Quo and Perspectives for Further Research.” Proceedings of the 41th Hawai’i International Conference on System Sciences, 2008. short: 'J. Becker, D. Beverungen, R. Knackstedt, in: Proceedings of the 41th Hawai’i International Conference on System Sciences, Waikoloa, Hawaii, 2008.' conference: location: Waikoloa, Hawaii name: 41th Hawai'i International Conference on System Sciences date_created: 2018-07-06T09:53:25Z date_updated: 2022-01-06T06:59:18Z department: - _id: '526' extern: '1' place: Waikoloa, Hawaii publication: Proceedings of the 41th Hawai'i International Conference on System Sciences status: public title: Reference Models and Modeling Languages for Product-Service Systems --- Status-Quo and Perspectives for Further Research type: conference user_id: '21671' year: '2008' ... --- _id: '3478' author: - first_name: Jörg full_name: Becker, Jörg last_name: Becker - first_name: Daniel full_name: Beverungen, Daniel id: '59677' last_name: Beverungen - first_name: Ralf full_name: Knackstedt, Ralf last_name: Knackstedt - first_name: Oliver full_name: Müller, Oliver id: '72849' last_name: Müller citation: ama: 'Becker J, Beverungen D, Knackstedt R, Müller O. Modeling, Customer-Specific Configuration and Calculation of Value Bundles. In: Americas Conference on Information Systems. Toronto, Canada; 2008.' apa: Becker, J., Beverungen, D., Knackstedt, R., & Müller, O. (2008). Modeling, Customer-Specific Configuration and Calculation of Value Bundles. In Americas Conference on Information Systems. Toronto, Canada. bibtex: '@inproceedings{Becker_Beverungen_Knackstedt_Müller_2008, place={Toronto, Canada}, title={Modeling, Customer-Specific Configuration and Calculation of Value Bundles}, booktitle={Americas Conference on Information Systems}, author={Becker, Jörg and Beverungen, Daniel and Knackstedt, Ralf and Müller, Oliver}, year={2008} }' chicago: Becker, Jörg, Daniel Beverungen, Ralf Knackstedt, and Oliver Müller. “Modeling, Customer-Specific Configuration and Calculation of Value Bundles.” In Americas Conference on Information Systems. Toronto, Canada, 2008. ieee: J. Becker, D. Beverungen, R. Knackstedt, and O. Müller, “Modeling, Customer-Specific Configuration and Calculation of Value Bundles,” in Americas Conference on Information Systems, Toronto, Canada, 2008. mla: Becker, Jörg, et al. “Modeling, Customer-Specific Configuration and Calculation of Value Bundles.” Americas Conference on Information Systems, 2008. short: 'J. Becker, D. Beverungen, R. Knackstedt, O. Müller, in: Americas Conference on Information Systems, Toronto, Canada, 2008.' conference: location: Toronto, Canada name: 14th Americas Conference on Information Systems date_created: 2018-07-06T09:56:40Z date_updated: 2022-01-06T06:59:18Z department: - _id: '526' extern: '1' language: - iso: eng main_file_link: - url: https://aisel.aisnet.org/amcis2008/211/ place: Toronto, Canada publication: Americas Conference on Information Systems status: public title: Modeling, Customer-Specific Configuration and Calculation of Value Bundles type: conference user_id: '72849' year: '2008' ... --- _id: '3479' author: - first_name: Daniel full_name: Beverungen, Daniel id: '59677' last_name: Beverungen - first_name: Uwe full_name: Kaiser, Uwe last_name: Kaiser - first_name: Ralf full_name: Knackstedt, Ralf last_name: Knackstedt - first_name: Robin full_name: Krings, Robin last_name: Krings - first_name: Armin full_name: Stein, Armin last_name: Stein citation: ama: 'Beverungen D, Kaiser U, Knackstedt R, Krings R, Stein A. Konfigurative Prozessmodellierung der hybriden Leistungserstellung in Unternehmensnetzwerken des Maschinen- und Anlagenbaus. In: Proceedings of the Multikonferenz Wirtschaftsinformatik (MKWI 2008). München; 2008:735--747.' apa: Beverungen, D., Kaiser, U., Knackstedt, R., Krings, R., & Stein, A. (2008). Konfigurative Prozessmodellierung der hybriden Leistungserstellung in Unternehmensnetzwerken des Maschinen- und Anlagenbaus. In Proceedings of the Multikonferenz Wirtschaftsinformatik (MKWI 2008) (pp. 735--747). München. bibtex: '@inproceedings{Beverungen_Kaiser_Knackstedt_Krings_Stein_2008, place={München}, title={Konfigurative Prozessmodellierung der hybriden Leistungserstellung in Unternehmensnetzwerken des Maschinen- und Anlagenbaus}, booktitle={Proceedings of the Multikonferenz Wirtschaftsinformatik (MKWI 2008)}, author={Beverungen, Daniel and Kaiser, Uwe and Knackstedt, Ralf and Krings, Robin and Stein, Armin}, year={2008}, pages={735--747} }' chicago: Beverungen, Daniel, Uwe Kaiser, Ralf Knackstedt, Robin Krings, and Armin Stein. “Konfigurative Prozessmodellierung Der Hybriden Leistungserstellung in Unternehmensnetzwerken Des Maschinen- Und Anlagenbaus.” In Proceedings of the Multikonferenz Wirtschaftsinformatik (MKWI 2008), 735--747. München, 2008. ieee: D. Beverungen, U. Kaiser, R. Knackstedt, R. Krings, and A. Stein, “Konfigurative Prozessmodellierung der hybriden Leistungserstellung in Unternehmensnetzwerken des Maschinen- und Anlagenbaus,” in Proceedings of the Multikonferenz Wirtschaftsinformatik (MKWI 2008), München, 2008, pp. 735--747. mla: Beverungen, Daniel, et al. “Konfigurative Prozessmodellierung Der Hybriden Leistungserstellung in Unternehmensnetzwerken Des Maschinen- Und Anlagenbaus.” Proceedings of the Multikonferenz Wirtschaftsinformatik (MKWI 2008), 2008, pp. 735--747. short: 'D. Beverungen, U. Kaiser, R. Knackstedt, R. Krings, A. Stein, in: Proceedings of the Multikonferenz Wirtschaftsinformatik (MKWI 2008), München, 2008, pp. 735--747.' conference: location: München name: Multikonferenz Wirtschaftsinformatik (MKWI 2008) date_created: 2018-07-06T09:58:15Z date_updated: 2022-01-06T06:59:18Z department: - _id: '526' extern: '1' page: 735--747 place: München publication: Proceedings of the Multikonferenz Wirtschaftsinformatik (MKWI 2008) status: public title: Konfigurative Prozessmodellierung der hybriden Leistungserstellung in Unternehmensnetzwerken des Maschinen- und Anlagenbaus type: conference user_id: '21671' year: '2008' ...