[{"page":"11-30","year":"2004","type":"book_chapter","citation":{"bibtex":"@inbook{Steigerwald_2004, place={Clermont-Ferrand}, title={Le baiser galant: approche d’une configuration érotique de l’esthétique galante}, booktitle={Les baisers des lumièresc}, author={Steigerwald, Jörn}, editor={Montandon, Alain}, year={2004}, pages={11–30} }","mla":"Steigerwald, Jörn. “Le baiser galant: approche d’une configuration érotique de l’esthétique galante.” Les baisers des lumièresc, edited by Alain Montandon, 2004, pp. 11–30.","chicago":"Steigerwald, Jörn. “Le baiser galant: approche d’une configuration érotique de l’esthétique galante.” In Les baisers des lumièresc, edited by Alain Montandon, 11–30. Clermont-Ferrand, 2004.","ama":"Steigerwald J. Le baiser galant: approche d’une configuration érotique de l’esthétique galante. In: Montandon A, ed. Les baisers des lumièresc. ; 2004:11-30.","apa":"Steigerwald, J. (2004). Le baiser galant: approche d’une configuration érotique de l’esthétique galante. In A. Montandon (Ed.), Les baisers des lumièresc (pp. 11–30).","ieee":"J. Steigerwald, “Le baiser galant: approche d’une configuration érotique de l’esthétique galante,” in Les baisers des lumièresc, A. Montandon, Ed. Clermont-Ferrand, 2004, pp. 11–30.","short":"J. Steigerwald, in: A. Montandon (Ed.), Les baisers des lumièresc, Clermont-Ferrand, 2004, pp. 11–30."},"language":[{"iso":"fre"}],"date_updated":"2022-09-16T20:38:26Z","_id":"32767","editor":[{"first_name":"Alain","full_name":"Montandon, Alain","last_name":"Montandon"}],"date_created":"2022-08-09T20:01:22Z","status":"public","publication":"Les baisers des lumièresc","department":[{"_id":"5"},{"_id":"116"}],"author":[{"full_name":"Steigerwald, Jörn","first_name":"Jörn","id":"37947","last_name":"Steigerwald"}],"title":"Le baiser galant: approche d’une configuration érotique de l’esthétique galante","user_id":"49063","extern":"1","place":"Clermont-Ferrand"},{"date_updated":"2022-10-04T01:22:33Z","_id":"32782","language":[{"iso":"ger"}],"citation":{"ieee":"J. Steigerwald, “Lemma Kulturtransfer,” in Metzler Lexikon Literatur- und Kulturtheorie, Stuttgart/Weimar 20012, S. 353; Stuttgart/Weimar 2004, S. 367-377 .Erneut veröffentlicht in: Ansgar Nünning (Hg.): Grundbegriffe der Kulturtheorie und Kulturwissenschaften. Stuttgart 2005, S. 124-125, A. Nünning, Ed. Stuttgart/Weimar, 2004, pp. 367–377.","short":"J. Steigerwald, in: A. Nünning (Ed.), Metzler Lexikon Literatur- und Kulturtheorie, Stuttgart/Weimar 20012, S. 353; Stuttgart/Weimar 2004, S. 367-377 .Erneut veröffentlicht in: Ansgar Nünning (Hg.): Grundbegriffe der Kulturtheorie und Kulturwissenschaften. Stuttgart 2005, S. 124-125, Stuttgart/Weimar, 2004, pp. 367–377.","mla":"Steigerwald, Jörn. “Lemma Kulturtransfer.” Metzler Lexikon Literatur- und Kulturtheorie, Stuttgart/Weimar 20012, S. 353; Stuttgart/Weimar 2004, S. 367-377 .Erneut veröffentlicht in: Ansgar Nünning (Hg.): Grundbegriffe der Kulturtheorie und Kulturwissenschaften. Stuttgart 2005, S. 124-125, edited by Ansgar Nünning, 2004, pp. 367–77.","bibtex":"@inbook{Steigerwald_2004, place={Stuttgart/Weimar}, title={Lemma Kulturtransfer}, booktitle={Metzler Lexikon Literatur- und Kulturtheorie, Stuttgart/Weimar 20012, S. 353; Stuttgart/Weimar 2004, S. 367-377 .Erneut veröffentlicht in: Ansgar Nünning (Hg.): Grundbegriffe der Kulturtheorie und Kulturwissenschaften. Stuttgart 2005, S. 124-125}, author={Steigerwald, Jörn}, editor={Nünning, Ansgar}, year={2004}, pages={367–377} }","ama":"Steigerwald J. Lemma Kulturtransfer. In: Nünning A, ed. Metzler Lexikon Literatur- und Kulturtheorie, Stuttgart/Weimar 20012, S. 353; Stuttgart/Weimar 2004, S. 367-377 .Erneut veröffentlicht in: Ansgar Nünning (Hg.): Grundbegriffe der Kulturtheorie und Kulturwissenschaften. Stuttgart 2005, S. 124-125. ; 2004:367-377.","apa":"Steigerwald, J. (2004). Lemma Kulturtransfer. In A. Nünning (Ed.), Metzler Lexikon Literatur- und Kulturtheorie, Stuttgart/Weimar 20012, S. 353; Stuttgart/Weimar 2004, S. 367-377 .Erneut veröffentlicht in: Ansgar Nünning (Hg.): Grundbegriffe der Kulturtheorie und Kulturwissenschaften. Stuttgart 2005, S. 124-125 (pp. 367–377).","chicago":"Steigerwald, Jörn. “Lemma Kulturtransfer.” In Metzler Lexikon Literatur- und Kulturtheorie, Stuttgart/Weimar 20012, S. 353; Stuttgart/Weimar 2004, S. 367-377 .Erneut veröffentlicht in: Ansgar Nünning (Hg.): Grundbegriffe der Kulturtheorie und Kulturwissenschaften. Stuttgart 2005, S. 124-125, edited by Ansgar Nünning, 367–77. Stuttgart/Weimar, 2004."},"year":"2004","type":"book_chapter","page":"367-377","user_id":"49063","title":"Lemma Kulturtransfer","place":"Stuttgart/Weimar","extern":"1","status":"public","date_created":"2022-08-09T20:15:10Z","editor":[{"last_name":"Nünning","first_name":"Ansgar","full_name":"Nünning, Ansgar"}],"author":[{"id":"37947","last_name":"Steigerwald","full_name":"Steigerwald, Jörn","first_name":"Jörn"}],"department":[{"_id":"5"},{"_id":"116"}],"publication":"Metzler Lexikon Literatur- und Kulturtheorie, Stuttgart/Weimar 20012, S. 353; Stuttgart/Weimar 2004, S. 367-377 .Erneut veröffentlicht in: Ansgar Nünning (Hg.): Grundbegriffe der Kulturtheorie und Kulturwissenschaften. Stuttgart 2005, S. 124-125"},{"user_id":"49063","title":"Encyclopédie der Sexualpathologie","place":"Frankfurt/Main","extern":"1","status":"public","date_created":"2022-08-09T19:02:35Z","author":[{"full_name":"Steigerwald, Jörn","first_name":"Jörn","id":"37947","last_name":"Steigerwald"}],"publication":"Sexualität und Imagination. Pathologien der Einbildungskraft im medizinischen Diskurs der Frühen Neuzeit","department":[{"_id":"5"},{"_id":"116"}],"corporate_editor":["Ders."],"_id":"32720","date_updated":"2022-10-04T01:34:30Z","language":[{"iso":"eng"}],"year":"2004","type":"book_chapter","citation":{"short":"J. Steigerwald, in: Ders. (Ed.), Sexualität Und Imagination. Pathologien Der Einbildungskraft Im Medizinischen Diskurs Der Frühen Neuzeit, Frankfurt/Main, 2004, pp. 137–163.","ieee":"J. Steigerwald, “Encyclopédie der Sexualpathologie,” in Sexualität und Imagination. Pathologien der Einbildungskraft im medizinischen Diskurs der Frühen Neuzeit, Ders., Ed. Frankfurt/Main, 2004, pp. 137–163.","ama":"Steigerwald J. Encyclopédie der Sexualpathologie. In: Ders., ed. Sexualität Und Imagination. Pathologien Der Einbildungskraft Im Medizinischen Diskurs Der Frühen Neuzeit. ; 2004:137-163.","apa":"Steigerwald, J. (2004). Encyclopédie der Sexualpathologie. In Ders. (Ed.), Sexualität und Imagination. Pathologien der Einbildungskraft im medizinischen Diskurs der Frühen Neuzeit (pp. 137–163).","chicago":"Steigerwald, Jörn. “Encyclopédie Der Sexualpathologie.” In Sexualität Und Imagination. Pathologien Der Einbildungskraft Im Medizinischen Diskurs Der Frühen Neuzeit, edited by Ders., 137–63. Frankfurt/Main, 2004.","bibtex":"@inbook{Steigerwald_2004, place={Frankfurt/Main}, title={Encyclopédie der Sexualpathologie}, booktitle={Sexualität und Imagination. Pathologien der Einbildungskraft im medizinischen Diskurs der Frühen Neuzeit}, author={Steigerwald, Jörn}, editor={Ders.}, year={2004}, pages={137–163} }","mla":"Steigerwald, Jörn. “Encyclopédie Der Sexualpathologie.” Sexualität Und Imagination. Pathologien Der Einbildungskraft Im Medizinischen Diskurs Der Frühen Neuzeit, edited by Ders., 2004, pp. 137–63."},"page":"137-163"},{"department":[{"_id":"5"},{"_id":"116"}],"editor":[{"full_name":"Steigerwald, Jörn","first_name":"Jörn","id":"37947","last_name":"Steigerwald"}],"date_created":"2022-08-09T17:07:59Z","status":"public","extern":"1","place":"Frankfurt/ Main","title":"Sexualität und Imagination. Pathologien der Einbildungskraft im medizinischen Diskurs der Frühen Neuzeit","user_id":"49063","type":"book_editor","citation":{"short":"Steigerwald J., ed., Sexualität und Imagination. Pathologien der Einbildungskraft im medizinischen Diskurs der Frühen Neuzeit, Frankfurt/ Main, 2004.","ieee":"Steigerwald J., Ed., Sexualität und Imagination. Pathologien der Einbildungskraft im medizinischen Diskurs der Frühen Neuzeit. Frankfurt/ Main, 2004.","ama":"Steigerwald J, ed. Sexualität und Imagination. Pathologien der Einbildungskraft im medizinischen Diskurs der Frühen Neuzeit.; 2004.","apa":"Steigerwald J. (Ed.). (2004). Sexualität und Imagination. Pathologien der Einbildungskraft im medizinischen Diskurs der Frühen Neuzeit.","chicago":"Steigerwald Jörn, ed. Sexualität und Imagination. Pathologien der Einbildungskraft im medizinischen Diskurs der Frühen Neuzeit. Frankfurt/ Main, 2004.","mla":"Steigerwald Jörn, editor. Sexualität und Imagination. Pathologien der Einbildungskraft im medizinischen Diskurs der Frühen Neuzeit. 2004.","bibtex":"@book{Steigerwald_2004, place={Frankfurt/ Main}, title={Sexualität und Imagination. Pathologien der Einbildungskraft im medizinischen Diskurs der Frühen Neuzeit}, year={2004} }"},"year":"2004","language":[{"iso":"chi"}],"_id":"32620","date_updated":"2022-10-04T06:05:55Z"},{"editor":[{"last_name":"Durzak","first_name":"Manfred","full_name":"Durzak, Manfred"},{"last_name":"Kuruyazıcı","full_name":"Kuruyazıcı, Nilüfer","first_name":"Nilüfer"}],"date_created":"2022-10-17T12:56:34Z","status":"public","department":[{"_id":"465"},{"_id":"464"}],"publication":"Die andere Deutsche Literatur","author":[{"id":"36883","last_name":"Zierau","full_name":"Zierau, Cornelia","first_name":"Cornelia"}],"publisher":"Königshausen & Neumann","title":"Story und History – „Nation-Writing“ in Emine Sevgi Özdamars Das Leben ist eine Karawanserei","user_id":"49063","extern":"1","place":"Würzburg","page":"166-173","type":"book_chapter","citation":{"ieee":"C. Zierau, “Story und History – „Nation-Writing“ in Emine Sevgi Özdamars Das Leben ist eine Karawanserei,” in Die andere Deutsche Literatur, M. Durzak and N. Kuruyazıcı, Eds. Würzburg: Königshausen & Neumann, 2004, pp. 166–173.","short":"C. Zierau, in: M. Durzak, N. Kuruyazıcı (Eds.), Die andere Deutsche Literatur, Königshausen & Neumann, Würzburg, 2004, pp. 166–173.","bibtex":"@inbook{Zierau_2004, place={Würzburg}, title={Story und History – „Nation-Writing“ in Emine Sevgi Özdamars Das Leben ist eine Karawanserei}, booktitle={Die andere Deutsche Literatur}, publisher={Königshausen & Neumann}, author={Zierau, Cornelia}, editor={Durzak, Manfred and Kuruyazıcı, Nilüfer}, year={2004}, pages={166–173} }","mla":"Zierau, Cornelia. “Story und History – „Nation-Writing“ in Emine Sevgi Özdamars Das Leben ist eine Karawanserei.” Die andere Deutsche Literatur, edited by Manfred Durzak and Nilüfer Kuruyazıcı, Königshausen & Neumann, 2004, pp. 166–73.","apa":"Zierau, C. (2004). Story und History – „Nation-Writing“ in Emine Sevgi Özdamars Das Leben ist eine Karawanserei. In M. Durzak & N. Kuruyazıcı (Eds.), Die andere Deutsche Literatur (pp. 166–173). Königshausen & Neumann.","ama":"Zierau C. Story und History – „Nation-Writing“ in Emine Sevgi Özdamars Das Leben ist eine Karawanserei. In: Durzak M, Kuruyazıcı N, eds. Die andere Deutsche Literatur. Königshausen & Neumann; 2004:166-173.","chicago":"Zierau, Cornelia. “Story und History – „Nation-Writing“ in Emine Sevgi Özdamars Das Leben ist eine Karawanserei.” In Die andere Deutsche Literatur, edited by Manfred Durzak and Nilüfer Kuruyazıcı, 166–73. Würzburg: Königshausen & Neumann, 2004."},"year":"2004","language":[{"iso":"ger"}],"date_updated":"2022-10-17T12:56:42Z","_id":"33788"},{"language":[{"iso":"ger"}],"year":"2004","citation":{"bibtex":"@article{Zierau_2004, title={Bericht über eine Studienreise}, journal={Alman Dili ve Edebiyatı Dergisi - Studien zur Deutschen Sprache und Literatur No. XV. İstanbul: İÜ Edebiyat Fakültesi (Hg.: Abteilung für deutsche Sprache und Literatur an der Philosophischen Fakultät der Universität İstanbul)}, publisher={İÜ Edebiyat Fakültesi, Istanbul}, author={Zierau, Cornelia}, year={2004}, pages={155–159} }","mla":"Zierau, Cornelia. “Bericht über eine Studienreise.” Alman Dili ve Edebiyatı Dergisi - Studien zur Deutschen Sprache und Literatur No. XV. İstanbul: İÜ Edebiyat Fakültesi (Hg.: Abteilung für deutsche Sprache und Literatur an der Philosophischen Fakultät der Universität İstanbul), İÜ Edebiyat Fakültesi, Istanbul, 2004, pp. 155–59.","ama":"Zierau C. Bericht über eine Studienreise. Alman Dili ve Edebiyatı Dergisi - Studien zur Deutschen Sprache und Literatur No XV İstanbul: İÜ Edebiyat Fakültesi (Hg: Abteilung für deutsche Sprache und Literatur an der Philosophischen Fakultät der Universität İstanbul). Published online 2004:155-159.","apa":"Zierau, C. (2004). Bericht über eine Studienreise. Alman Dili ve Edebiyatı Dergisi - Studien zur Deutschen Sprache und Literatur No. XV. İstanbul: İÜ Edebiyat Fakültesi (Hg.: Abteilung für deutsche Sprache und Literatur an der Philosophischen Fakultät der Universität İstanbul), 155–159.","chicago":"Zierau, Cornelia. “Bericht über eine Studienreise.” Alman Dili ve Edebiyatı Dergisi - Studien zur Deutschen Sprache und Literatur No. XV. İstanbul: İÜ Edebiyat Fakültesi (Hg.: Abteilung für deutsche Sprache und Literatur an der Philosophischen Fakultät der Universität İstanbul), 2004, 155–59.","ieee":"C. Zierau, “Bericht über eine Studienreise,” Alman Dili ve Edebiyatı Dergisi - Studien zur Deutschen Sprache und Literatur No. XV. İstanbul: İÜ Edebiyat Fakültesi (Hg.: Abteilung für deutsche Sprache und Literatur an der Philosophischen Fakultät der Universität İstanbul), pp. 155–159, 2004.","short":"C. Zierau, Alman Dili ve Edebiyatı Dergisi - Studien zur Deutschen Sprache und Literatur No. XV. İstanbul: İÜ Edebiyat Fakültesi (Hg.: Abteilung für deutsche Sprache und Literatur an der Philosophischen Fakultät der Universität İstanbul) (2004) 155–159."},"type":"journal_article","page":"155-159","date_updated":"2022-10-18T11:46:44Z","_id":"33789","author":[{"id":"36883","last_name":"Zierau","full_name":"Zierau, Cornelia","first_name":"Cornelia"}],"publisher":"İÜ Edebiyat Fakültesi, Istanbul","department":[{"_id":"465"},{"_id":"464"}],"publication":"Alman Dili ve Edebiyatı Dergisi - Studien zur Deutschen Sprache und Literatur No. XV. İstanbul: İÜ Edebiyat Fakültesi (Hg.: Abteilung für deutsche Sprache und Literatur an der Philosophischen Fakultät der Universität İstanbul)","status":"public","date_created":"2022-10-17T12:57:49Z","extern":"1","user_id":"14932","title":"Bericht über eine Studienreise"},{"series_title":"Lecture Notes in Computer Science","language":[{"iso":"eng"}],"date_updated":"2022-10-20T09:26:15Z","doi":"10.1007/978-3-540-27863-4_13","department":[{"_id":"672"}],"editor":[{"last_name":"Ehrig","full_name":"Ehrig, Hartmut","first_name":"Hartmut"},{"first_name":"Werner","full_name":"Damm, Werner","last_name":"Damm"},{"last_name":"Desel","first_name":"Jörg","full_name":"Desel, Jörg"},{"last_name":"Große-Rhode","first_name":"Martin","full_name":"Große-Rhode, Martin"},{"full_name":"Reif, Wolfgang","first_name":"Wolfgang","last_name":"Reif"},{"last_name":"Schnieder","first_name":"Eckehard","full_name":"Schnieder, Eckehard"},{"last_name":"Westkämper","full_name":"Westkämper, Engelbert","first_name":"Engelbert"}],"publication_identifier":{"isbn":["978-3-540-27863-4"]},"place":"Berlin, Heidelberg","title":"Specification and Formal Verification of Temporal Properties of Production Automation Systems","type":"book_chapter","year":"2004","citation":{"short":"S. Flake, W. Müller, U. Pape, J. Ruf, in: H. Ehrig, W. Damm, J. Desel, M. Große-Rhode, W. Reif, E. Schnieder, E. Westkämper (Eds.), Integration of Software Specification Techniques for Applications in Engineering, Springer-Verlag, Berlin, Heidelberg, 2004, pp. 206–226.","ieee":"S. Flake, W. Müller, U. Pape, and J. Ruf, “Specification and Formal Verification of Temporal Properties of Production Automation Systems,” in Integration of Software Specification Techniques for Applications in Engineering, vol. 3147, H. Ehrig, W. Damm, J. Desel, M. Große-Rhode, W. Reif, E. Schnieder, and E. Westkämper, Eds. Berlin, Heidelberg: Springer-Verlag, 2004, pp. 206–226.","chicago":"Flake, Stephan, Wolfgang Müller, Ulrich Pape, and Jürgen Ruf. “Specification and Formal Verification of Temporal Properties of Production Automation Systems.” In Integration of Software Specification Techniques for Applications in Engineering, edited by Hartmut Ehrig, Werner Damm, Jörg Desel, Martin Große-Rhode, Wolfgang Reif, Eckehard Schnieder, and Engelbert Westkämper, 3147:206–26. Lecture Notes in Computer Science. Berlin, Heidelberg: Springer-Verlag, 2004. https://doi.org/10.1007/978-3-540-27863-4_13.","ama":"Flake S, Müller W, Pape U, Ruf J. Specification and Formal Verification of Temporal Properties of Production Automation Systems. In: Ehrig H, Damm W, Desel J, et al., eds. Integration of Software Specification Techniques for Applications in Engineering. Vol 3147. Lecture Notes in Computer Science. Springer-Verlag; 2004:206-226. doi:10.1007/978-3-540-27863-4_13","apa":"Flake, S., Müller, W., Pape, U., & Ruf, J. (2004). Specification and Formal Verification of Temporal Properties of Production Automation Systems. In H. Ehrig, W. Damm, J. Desel, M. Große-Rhode, W. Reif, E. Schnieder, & E. Westkämper (Eds.), Integration of Software Specification Techniques for Applications in Engineering (Vol. 3147, pp. 206–226). Springer-Verlag. https://doi.org/10.1007/978-3-540-27863-4_13","mla":"Flake, Stephan, et al. “Specification and Formal Verification of Temporal Properties of Production Automation Systems.” Integration of Software Specification Techniques for Applications in Engineering, edited by Hartmut Ehrig et al., vol. 3147, Springer-Verlag, 2004, pp. 206–26, doi:10.1007/978-3-540-27863-4_13.","bibtex":"@inbook{Flake_Müller_Pape_Ruf_2004, place={Berlin, Heidelberg}, series={Lecture Notes in Computer Science}, title={Specification and Formal Verification of Temporal Properties of Production Automation Systems}, volume={3147}, DOI={10.1007/978-3-540-27863-4_13}, booktitle={Integration of Software Specification Techniques for Applications in Engineering}, publisher={Springer-Verlag}, author={Flake, Stephan and Müller, Wolfgang and Pape, Ulrich and Ruf, Jürgen}, editor={Ehrig, Hartmut and Damm, Werner and Desel, Jörg and Große-Rhode, Martin and Reif, Wolfgang and Schnieder, Eckehard and Westkämper, Engelbert}, year={2004}, pages={206–226}, collection={Lecture Notes in Computer Science} }"},"page":"206-226","_id":"33825","intvolume":" 3147","publisher":"Springer-Verlag","author":[{"full_name":"Flake, Stephan","first_name":"Stephan","last_name":"Flake"},{"id":"16243","last_name":"Müller","full_name":"Müller, Wolfgang","first_name":"Wolfgang"},{"first_name":"Ulrich","full_name":"Pape, Ulrich","last_name":"Pape"},{"last_name":"Ruf","full_name":"Ruf, Jürgen","first_name":"Jürgen"}],"keyword":["Model Check","Temporal Logic","Object Constraint Language","Abstract Syntax","Temporal Logic Formula"],"publication":"Integration of Software Specification Techniques for Applications in Engineering","status":"public","date_created":"2022-10-20T09:25:53Z","volume":3147,"abstract":[{"lang":"eng","text":"This article describes our approach for the specification and verification of production automation systems with real-time properties. We focus on the graphical MFERT notation and RT-OCL (Real-Time Object Constraint Language) for the specification of state-oriented real-time properties. RT-OCL is an extension of the Object Constraint Language (OCL) that is part of the Unified Modeling Language (UML). We introduce the formal semantics of RT-OCL based on a formal model of UML Class and State Diagrams and provide a mapping to temporal logics. The applicability of our approach is demonstrated by the case study of a manufacturing system with automated guided vehicles."}],"user_id":"5786"},{"date_updated":"2022-10-20T09:34:51Z","_id":"33827","language":[{"iso":"eng"}],"type":"book_chapter","citation":{"short":"T. Schattkowsky, W. Müller, A. Pawlak, in: L. Fischer (Ed.), Workflow Handbook 2004, Workflow Management Coalition (WfMC), Lighthouse Point, FL, USA, 2004.","ieee":"T. Schattkowsky, W. Müller, and A. Pawlak, “Workflow Management Middleware for Secure Distance-Spanning Collaborative Engineering,” in Workflow Handbook 2004, L. Fischer, Ed. Lighthouse Point, FL, USA: Workflow Management Coalition (WfMC), 2004.","chicago":"Schattkowsky, Tim, Wolfgang Müller, and Adam Pawlak. “Workflow Management Middleware for Secure Distance-Spanning Collaborative Engineering.” In Workflow Handbook 2004, edited by Layna Fischer. Lighthouse Point, FL, USA: Workflow Management Coalition (WfMC), 2004.","apa":"Schattkowsky, T., Müller, W., & Pawlak, A. (2004). Workflow Management Middleware for Secure Distance-Spanning Collaborative Engineering. In L. Fischer (Ed.), Workflow Handbook 2004. Workflow Management Coalition (WfMC).","ama":"Schattkowsky T, Müller W, Pawlak A. Workflow Management Middleware for Secure Distance-Spanning Collaborative Engineering. In: Fischer L, ed. Workflow Handbook 2004. Workflow Management Coalition (WfMC); 2004.","bibtex":"@inbook{Schattkowsky_Müller_Pawlak_2004, place={Lighthouse Point, FL, USA}, title={Workflow Management Middleware for Secure Distance-Spanning Collaborative Engineering}, booktitle={Workflow Handbook 2004}, publisher={Workflow Management Coalition (WfMC)}, author={Schattkowsky, Tim and Müller, Wolfgang and Pawlak, Adam}, editor={Fischer, Layna}, year={2004} }","mla":"Schattkowsky, Tim, et al. “Workflow Management Middleware for Secure Distance-Spanning Collaborative Engineering.” Workflow Handbook 2004, edited by Layna Fischer, Workflow Management Coalition (WfMC), 2004."},"year":"2004","user_id":"5786","title":"Workflow Management Middleware for Secure Distance-Spanning Collaborative Engineering","place":"Lighthouse Point, FL, USA","date_created":"2022-10-20T09:33:49Z","status":"public","publication_identifier":{"isbn":["0970350961"]},"editor":[{"full_name":"Fischer, Layna","first_name":"Layna","last_name":"Fischer"}],"department":[{"_id":"672"}],"publication":"Workflow Handbook 2004","author":[{"last_name":"Schattkowsky","full_name":"Schattkowsky, Tim","first_name":"Tim"},{"id":"16243","last_name":"Müller","full_name":"Müller, Wolfgang","first_name":"Wolfgang"},{"last_name":"Pawlak","first_name":"Adam","full_name":"Pawlak, Adam"}],"publisher":"Workflow Management Coalition (WfMC)"},{"date_updated":"2022-10-20T09:56:28Z","_id":"33830","language":[{"iso":"eng"}],"year":"2004","type":"book_chapter","citation":{"bibtex":"@inbook{Krupp_Müller_2004, place={Dordrecht}, title={Refinement of Finite State Machines with Complementary Model Checking}, booktitle={UML-B System Specification for Proven Electronic Design}, publisher={Kluwer}, author={Krupp, Alexander and Müller, Wolfgang}, editor={Mermet, J.}, year={2004}, pages={155–168} }","mla":"Krupp, Alexander, and Wolfgang Müller. “Refinement of Finite State Machines with Complementary Model Checking.” UML-B System Specification for Proven Electronic Design, edited by J. Mermet, Kluwer, 2004, pp. 155–68.","ama":"Krupp A, Müller W. Refinement of Finite State Machines with Complementary Model Checking. In: Mermet J, ed. UML-B System Specification for Proven Electronic Design. Kluwer; 2004:155-168.","apa":"Krupp, A., & Müller, W. (2004). Refinement of Finite State Machines with Complementary Model Checking. In J. Mermet (Ed.), UML-B System Specification for Proven Electronic Design (pp. 155–168). Kluwer.","chicago":"Krupp, Alexander, and Wolfgang Müller. “Refinement of Finite State Machines with Complementary Model Checking.” In UML-B System Specification for Proven Electronic Design, edited by J. Mermet, 155–68. Dordrecht: Kluwer, 2004.","ieee":"A. Krupp and W. Müller, “Refinement of Finite State Machines with Complementary Model Checking,” in UML-B System Specification for Proven Electronic Design, J. Mermet, Ed. Dordrecht: Kluwer, 2004, pp. 155–168.","short":"A. Krupp, W. Müller, in: J. Mermet (Ed.), UML-B System Specification for Proven Electronic Design, Kluwer, Dordrecht, 2004, pp. 155–168."},"page":"155-168","place":"Dordrecht","user_id":"5786","title":"Refinement of Finite State Machines with Complementary Model Checking","author":[{"full_name":"Krupp, Alexander","first_name":"Alexander","last_name":"Krupp"},{"id":"16243","last_name":"Müller","full_name":"Müller, Wolfgang","first_name":"Wolfgang"}],"publisher":"Kluwer","department":[{"_id":"672"}],"publication":"UML-B System Specification for Proven Electronic Design","status":"public","date_created":"2022-10-20T09:54:53Z","editor":[{"full_name":"Mermet, J.","first_name":"J.","last_name":"Mermet"}],"publication_identifier":{"isbn":["1-4020-2866-0"]}},{"title":"Combining Formal Refinement and Model Checking for Analysis of Realtime Systems","user_id":"5786","place":"Dordrecht","publication_identifier":{"isbn":["978-1-4020-7991-7"]},"editor":[{"first_name":"Ch.","full_name":"Grimm, Ch.","last_name":"Grimm"}],"date_created":"2022-10-20T09:49:57Z","status":"public","department":[{"_id":"672"}],"publication":"Best of FDL'03","publisher":"Kluwer","author":[{"last_name":"Krupp","first_name":"Alexander","full_name":"Krupp, Alexander"},{"id":"16243","last_name":"Müller","full_name":"Müller, Wolfgang","first_name":"Wolfgang"},{"last_name":"Oliver","first_name":"Ian","full_name":"Oliver, Ian"}],"_id":"33829","date_updated":"2022-10-20T09:50:11Z","page":"301-314","citation":{"bibtex":"@inbook{Krupp_Müller_Oliver_2004, place={Dordrecht}, title={Combining Formal Refinement and Model Checking for Analysis of Realtime Systems}, booktitle={Best of FDL’03}, publisher={Kluwer}, author={Krupp, Alexander and Müller, Wolfgang and Oliver, Ian}, editor={Grimm, Ch.}, year={2004}, pages={301–314} }","mla":"Krupp, Alexander, et al. “Combining Formal Refinement and Model Checking for Analysis of Realtime Systems.” Best of FDL’03, edited by Ch. Grimm, Kluwer, 2004, pp. 301–14.","ama":"Krupp A, Müller W, Oliver I. Combining Formal Refinement and Model Checking for Analysis of Realtime Systems. In: Grimm Ch, ed. Best of FDL’03. Kluwer; 2004:301-314.","apa":"Krupp, A., Müller, W., & Oliver, I. (2004). Combining Formal Refinement and Model Checking for Analysis of Realtime Systems. In Ch. Grimm (Ed.), Best of FDL’03 (pp. 301–314). Kluwer.","chicago":"Krupp, Alexander, Wolfgang Müller, and Ian Oliver. “Combining Formal Refinement and Model Checking for Analysis of Realtime Systems.” In Best of FDL’03, edited by Ch. Grimm, 301–14. Dordrecht: Kluwer, 2004.","ieee":"A. Krupp, W. Müller, and I. Oliver, “Combining Formal Refinement and Model Checking for Analysis of Realtime Systems,” in Best of FDL’03, Ch. Grimm, Ed. Dordrecht: Kluwer, 2004, pp. 301–314.","short":"A. Krupp, W. Müller, I. Oliver, in: Ch. Grimm (Ed.), Best of FDL’03, Kluwer, Dordrecht, 2004, pp. 301–314."},"type":"book_chapter","year":"2004","language":[{"iso":"eng"}]}]