[{"language":[{"iso":"eng"}],"_id":"39582","user_id":"5786","department":[{"_id":"672"}],"status":"public","type":"conference","publication":"Proceedings of the 2nd EXPRESS User's Group Conference","title":"The EXPRESS Information Modeling Workbench - A New Approach to Graphical Design Environments","date_updated":"2023-01-24T12:29:20Z","date_created":"2023-01-24T12:29:15Z","author":[{"first_name":"Wolfgang","last_name":"Müller","id":"16243","full_name":"Müller, Wolfgang"},{"full_name":"Kleinjohann, Bernd","last_name":"Kleinjohann","first_name":"Bernd"}],"place":"Dallas TX","year":"1992","citation":{"bibtex":"@inproceedings{Müller_Kleinjohann_1992, place={Dallas TX}, title={The EXPRESS Information Modeling Workbench - A New Approach to Graphical Design Environments}, booktitle={Proceedings of the 2nd EXPRESS User’s Group Conference}, author={Müller, Wolfgang and Kleinjohann, Bernd}, year={1992} }","short":"W. Müller, B. Kleinjohann, in: Proceedings of the 2nd EXPRESS User’s Group Conference, Dallas TX, 1992.","mla":"Müller, Wolfgang, and Bernd Kleinjohann. “The EXPRESS Information Modeling Workbench - A New Approach to Graphical Design Environments.” <i>Proceedings of the 2nd EXPRESS User’s Group Conference</i>, 1992.","apa":"Müller, W., &#38; Kleinjohann, B. (1992). The EXPRESS Information Modeling Workbench - A New Approach to Graphical Design Environments. <i>Proceedings of the 2nd EXPRESS User’s Group Conference</i>.","chicago":"Müller, Wolfgang, and Bernd Kleinjohann. “The EXPRESS Information Modeling Workbench - A New Approach to Graphical Design Environments.” In <i>Proceedings of the 2nd EXPRESS User’s Group Conference</i>. Dallas TX, 1992.","ieee":"W. Müller and B. Kleinjohann, “The EXPRESS Information Modeling Workbench - A New Approach to Graphical Design Environments,” 1992.","ama":"Müller W, Kleinjohann B. The EXPRESS Information Modeling Workbench - A New Approach to Graphical Design Environments. In: <i>Proceedings of the 2nd EXPRESS User’s Group Conference</i>. ; 1992."}},{"title":"Contract-Oriented System Design and Specification","language":[{"iso":"eng"}],"_id":"39584","date_updated":"2023-01-24T12:31:20Z","department":[{"_id":"672"}],"author":[{"first_name":"Wolfgang","full_name":"Müller, Wolfgang","id":"16243","last_name":"Müller"}],"date_created":"2023-01-24T12:31:16Z","user_id":"5786","place":"Grassau Germany","year":"1991","status":"public","citation":{"ama":"Müller W. Contract-Oriented System Design and Specification. In: <i>Proceedings of the Workshop on Practical Computer Based Systems Engineering - Its Scope and Methods</i>. ; 1991.","chicago":"Müller, Wolfgang. “Contract-Oriented System Design and Specification.” In <i>Proceedings of the Workshop on Practical Computer Based Systems Engineering - Its Scope and Methods</i>. Grassau Germany, 1991.","ieee":"W. Müller, “Contract-Oriented System Design and Specification,” 1991.","mla":"Müller, Wolfgang. “Contract-Oriented System Design and Specification.” <i>Proceedings of the Workshop on Practical Computer Based Systems Engineering - Its Scope and Methods</i>, 1991.","short":"W. Müller, in: Proceedings of the Workshop on Practical Computer Based Systems Engineering - Its Scope and Methods, Grassau Germany, 1991.","bibtex":"@inproceedings{Müller_1991, place={Grassau Germany}, title={Contract-Oriented System Design and Specification}, booktitle={Proceedings of the Workshop on Practical Computer Based Systems Engineering - its Scope and Methods}, author={Müller, Wolfgang}, year={1991} }","apa":"Müller, W. (1991). Contract-Oriented System Design and Specification. <i>Proceedings of the Workshop on Practical Computer Based Systems Engineering - Its Scope and Methods</i>."},"publication":"Proceedings of the Workshop on Practical Computer Based Systems Engineering - its Scope and Methods","type":"conference"},{"year":"1991","place":"Houston TX, USA","citation":{"ieee":"G. Lehrenfeld and W. Müller, “Validation of EXPRESS Models Using Prolog,” 1991.","chicago":"Lehrenfeld, Georg, and Wolfgang Müller. “Validation of EXPRESS Models Using Prolog.” In <i>Proceedings of the 1st EXPRESS User’s Group Conference</i>. Houston TX, USA, 1991.","ama":"Lehrenfeld G, Müller W. Validation of EXPRESS Models Using Prolog. In: <i>Proceedings of the 1st EXPRESS User’s Group Conference</i>. ; 1991.","apa":"Lehrenfeld, G., &#38; Müller, W. (1991). Validation of EXPRESS Models Using Prolog. <i>Proceedings of the 1st EXPRESS User’s Group Conference</i>.","short":"G. Lehrenfeld, W. Müller, in: Proceedings of the 1st EXPRESS User’s Group Conference, Houston TX, USA, 1991.","mla":"Lehrenfeld, Georg, and Wolfgang Müller. “Validation of EXPRESS Models Using Prolog.” <i>Proceedings of the 1st EXPRESS User’s Group Conference</i>, 1991.","bibtex":"@inproceedings{Lehrenfeld_Müller_1991, place={Houston TX, USA}, title={Validation of EXPRESS Models Using Prolog}, booktitle={Proceedings of the 1st EXPRESS User’s Group Conference}, author={Lehrenfeld, Georg and Müller, Wolfgang}, year={1991} }"},"title":"Validation of EXPRESS Models Using Prolog","date_updated":"2023-01-24T12:30:29Z","author":[{"first_name":"Georg","full_name":"Lehrenfeld, Georg","last_name":"Lehrenfeld"},{"first_name":"Wolfgang","full_name":"Müller, Wolfgang","id":"16243","last_name":"Müller"}],"date_created":"2023-01-24T12:30:24Z","status":"public","type":"conference","publication":"Proceedings of the 1st EXPRESS User's Group Conference","language":[{"iso":"eng"}],"_id":"39583","user_id":"5786","department":[{"_id":"672"}]},{"user_id":"5786","department":[{"_id":"672"}],"_id":"39585","language":[{"iso":"eng"}],"type":"conference","publication":"Proc. of the Ninth IFIP Symposium on CHDLs and their Application","status":"public","date_created":"2023-01-24T12:33:02Z","author":[{"full_name":"Rammig, Franz Josef","last_name":"Rammig","first_name":"Franz Josef"},{"full_name":"Müller, Wolfgang","id":"16243","last_name":"Müller","first_name":"Wolfgang"}],"date_updated":"2023-01-24T12:33:06Z","title":"ODICE: Object-Oriented Hardware Description in CAD Environment","citation":{"apa":"Rammig, F. J., &#38; Müller, W. (1989). ODICE: Object-Oriented Hardware Description in CAD Environment. <i>Proc. of the Ninth IFIP Symposium on CHDLs and Their Application</i>.","short":"F.J. Rammig, W. Müller, in: Proc. of the Ninth IFIP Symposium on CHDLs and Their Application, Washington DC, 1989.","mla":"Rammig, Franz Josef, and Wolfgang Müller. “ODICE: Object-Oriented Hardware Description in CAD Environment.” <i>Proc. of the Ninth IFIP Symposium on CHDLs and Their Application</i>, 1989.","bibtex":"@inproceedings{Rammig_Müller_1989, place={Washington DC}, title={ODICE: Object-Oriented Hardware Description in CAD Environment}, booktitle={Proc. of the Ninth IFIP Symposium on CHDLs and their Application}, author={Rammig, Franz Josef and Müller, Wolfgang}, year={1989} }","ama":"Rammig FJ, Müller W. ODICE: Object-Oriented Hardware Description in CAD Environment. In: <i>Proc. of the Ninth IFIP Symposium on CHDLs and Their Application</i>. ; 1989.","chicago":"Rammig, Franz Josef, and Wolfgang Müller. “ODICE: Object-Oriented Hardware Description in CAD Environment.” In <i>Proc. of the Ninth IFIP Symposium on CHDLs and Their Application</i>. Washington DC, 1989.","ieee":"F. J. Rammig and W. Müller, “ODICE: Object-Oriented Hardware Description in CAD Environment,” 1989."},"year":"1989","place":"Washington DC"}]