[{"type":"conference","department":[{"_id":"672"}],"place":"Brisbane, Australia","date_created":"2023-01-24T12:28:08Z","publication":"Proc. of the 1st Asian Pacific Conference on Hardware Description Languages, Standards and Applications","citation":{"ieee":"W. Müller, “Approaching the Denotational Semantics of Behavioral VHDL Descriptions,” 1993.","apa":"Müller, W. (1993). Approaching the Denotational Semantics of Behavioral VHDL Descriptions. <i>Proc. of the 1st Asian Pacific Conference on Hardware Description Languages, Standards and Applications</i>.","chicago":"Müller, Wolfgang. “Approaching the Denotational Semantics of Behavioral VHDL Descriptions.” In <i>Proc. of the 1st Asian Pacific Conference on Hardware Description Languages, Standards and Applications</i>. Brisbane, Australia, 1993.","short":"W. Müller, in: Proc. of the 1st Asian Pacific Conference on Hardware Description Languages, Standards and Applications, Brisbane, Australia, 1993.","mla":"Müller, Wolfgang. “Approaching the Denotational Semantics of Behavioral VHDL Descriptions.” <i>Proc. of the 1st Asian Pacific Conference on Hardware Description Languages, Standards and Applications</i>, 1993.","bibtex":"@inproceedings{Müller_1993, place={Brisbane, Australia}, title={Approaching the Denotational Semantics of Behavioral VHDL Descriptions}, booktitle={Proc. of the 1st Asian Pacific Conference on Hardware Description Languages, Standards and Applications}, author={Müller, Wolfgang}, year={1993} }","ama":"Müller W. Approaching the Denotational Semantics of Behavioral VHDL Descriptions. In: <i>Proc. of the 1st Asian Pacific Conference on Hardware Description Languages, Standards and Applications</i>. ; 1993."},"user_id":"5786","_id":"39580","language":[{"iso":"eng"}],"date_updated":"2023-01-24T12:28:12Z","title":"Approaching the Denotational Semantics of Behavioral VHDL Descriptions","status":"public","year":"1993","author":[{"id":"16243","last_name":"Müller","first_name":"Wolfgang","full_name":"Müller, Wolfgang"}]},{"author":[{"first_name":"Wolfgang","last_name":"Müller","full_name":"Müller, Wolfgang","id":"16243"},{"full_name":"Lehrenfeld, Georg","last_name":"Lehrenfeld","first_name":"Georg"},{"full_name":"Wiechers, N.","last_name":"Wiechers","first_name":"N."}],"title":"Parallel Validation of STEP Files","status":"public","year":"1993","date_updated":"2023-01-24T12:27:20Z","language":[{"iso":"eng"}],"_id":"39579","user_id":"5786","citation":{"apa":"Müller, W., Lehrenfeld, G., &#38; Wiechers, N. (1993). Parallel Validation of STEP Files. <i>Proceedings of the 3nd EXPRESS User’s Group Conference</i>.","ieee":"W. Müller, G. Lehrenfeld, and N. Wiechers, “Parallel Validation of STEP Files,” 1993.","short":"W. Müller, G. Lehrenfeld, N. Wiechers, in: Proceedings of the 3nd EXPRESS User’s Group Conference, Berlin, 1993.","chicago":"Müller, Wolfgang, Georg Lehrenfeld, and N. Wiechers. “Parallel Validation of STEP Files.” In <i>Proceedings of the 3nd EXPRESS User’s Group Conference</i>. Berlin, 1993.","mla":"Müller, Wolfgang, et al. “Parallel Validation of STEP Files.” <i>Proceedings of the 3nd EXPRESS User’s Group Conference</i>, 1993.","ama":"Müller W, Lehrenfeld G, Wiechers N. Parallel Validation of STEP Files. In: <i>Proceedings of the 3nd EXPRESS User’s Group Conference</i>. ; 1993.","bibtex":"@inproceedings{Müller_Lehrenfeld_Wiechers_1993, place={Berlin}, title={Parallel Validation of STEP Files}, booktitle={Proceedings of the 3nd EXPRESS User’s Group Conference}, author={Müller, Wolfgang and Lehrenfeld, Georg and Wiechers, N.}, year={1993} }"},"publication":"Proceedings of the 3nd EXPRESS User's Group Conference","place":"Berlin","date_created":"2023-01-24T12:27:16Z","department":[{"_id":"672"}],"type":"conference"},{"date_updated":"2023-01-24T12:29:20Z","author":[{"id":"16243","first_name":"Wolfgang","last_name":"Müller","full_name":"Müller, Wolfgang"},{"full_name":"Kleinjohann, Bernd","first_name":"Bernd","last_name":"Kleinjohann"}],"status":"public","title":"The EXPRESS Information Modeling Workbench - A New Approach to Graphical Design Environments","year":"1992","user_id":"5786","_id":"39582","language":[{"iso":"eng"}],"citation":{"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.","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} }","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.","ieee":"W. Müller and B. Kleinjohann, “The EXPRESS Information Modeling Workbench - A New Approach to Graphical Design Environments,” 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.","short":"W. Müller, B. Kleinjohann, in: Proceedings of the 2nd EXPRESS User’s Group Conference, Dallas TX, 1992."},"publication":"Proceedings of the 2nd EXPRESS User's Group Conference","department":[{"_id":"672"}],"type":"conference","date_created":"2023-01-24T12:29:15Z","place":"Dallas TX"},{"language":[{"iso":"eng"}],"_id":"39584","user_id":"5786","title":"Contract-Oriented System Design and Specification","year":"1991","status":"public","author":[{"id":"16243","full_name":"Müller, Wolfgang","first_name":"Wolfgang","last_name":"Müller"}],"date_updated":"2023-01-24T12:31:20Z","date_created":"2023-01-24T12:31:16Z","place":"Grassau Germany","type":"conference","department":[{"_id":"672"}],"publication":"Proceedings of the Workshop on Practical Computer Based Systems Engineering - its Scope and Methods","citation":{"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.","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} }","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.","ieee":"W. Müller, “Contract-Oriented System Design and Specification,” 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>.","short":"W. Müller, in: Proceedings of the Workshop on Practical Computer Based Systems Engineering - Its Scope and Methods, Grassau Germany, 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."}},{"publication":"Proceedings of the 1st EXPRESS User's Group Conference","citation":{"short":"G. Lehrenfeld, W. Müller, in: Proceedings of the 1st EXPRESS User’s Group Conference, Houston TX, USA, 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.","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>.","ieee":"G. Lehrenfeld and W. Müller, “Validation of EXPRESS Models Using Prolog,” 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.","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} }","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."},"type":"conference","department":[{"_id":"672"}],"place":"Houston TX, USA","date_created":"2023-01-24T12:30:24Z","date_updated":"2023-01-24T12:30:29Z","title":"Validation of EXPRESS Models Using Prolog","year":"1991","status":"public","author":[{"full_name":"Lehrenfeld, Georg","last_name":"Lehrenfeld","first_name":"Georg"},{"id":"16243","full_name":"Müller, Wolfgang","last_name":"Müller","first_name":"Wolfgang"}],"user_id":"5786","_id":"39583","language":[{"iso":"eng"}]},{"department":[{"_id":"672"}],"type":"conference","place":"Washington DC","date_created":"2023-01-24T12:33:02Z","citation":{"short":"F.J. Rammig, W. Müller, in: Proc. of the Ninth IFIP Symposium on CHDLs and Their Application, Washington DC, 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.","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>.","ieee":"F. J. Rammig and W. Müller, “ODICE: Object-Oriented Hardware Description in CAD Environment,” 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.","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} }","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."},"publication":"Proc. of the Ninth IFIP Symposium on CHDLs and their Application","user_id":"5786","language":[{"iso":"eng"}],"_id":"39585","date_updated":"2023-01-24T12:33:06Z","author":[{"first_name":"Franz Josef","last_name":"Rammig","full_name":"Rammig, Franz Josef"},{"id":"16243","full_name":"Müller, Wolfgang","first_name":"Wolfgang","last_name":"Müller"}],"title":"ODICE: Object-Oriented Hardware Description in CAD Environment","status":"public","year":"1989"}]