Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
327 Publications
1993 | Conference Paper | LibreCat-ID: 39578
Müller, Wolfgang, and Bernd Kleinjohann. “Tight Integration and Synchronization of Distributed Graphical Applications.” Proceedings of the Seventh Annual Database Symposium, 1993.
LibreCat
1993 | Conference Paper | LibreCat-ID: 39580
Müller, Wolfgang. “Approaching the Denotational Semantics of Behavioral VHDL Descriptions.” Proc. of the 1st Asian Pacific Conference on Hardware Description Languages, Standards and Applications, 1993.
LibreCat
1993 | Conference Paper | LibreCat-ID: 39579
Müller, Wolfgang, et al. “Parallel Validation of STEP Files.” Proceedings of the 3nd EXPRESS User’s Group Conference, 1993.
LibreCat
1992 | Conference Paper | LibreCat-ID: 39582
Müller, Wolfgang, and Bernd Kleinjohann. “The EXPRESS Information Modeling Workbench - A New Approach to Graphical Design Environments.” Proceedings of the 2nd EXPRESS User’s Group Conference, 1992.
LibreCat
1991 | Conference Paper | LibreCat-ID: 39584
Müller, Wolfgang. “Contract-Oriented System Design and Specification.” Proceedings of the Workshop on Practical Computer Based Systems Engineering - Its Scope and Methods, 1991.
LibreCat
1991 | Conference Paper | LibreCat-ID: 39583
Lehrenfeld, Georg, and Wolfgang Müller. “Validation of EXPRESS Models Using Prolog.” Proceedings of the 1st EXPRESS User’s Group Conference, 1991.
LibreCat
1989 | Conference Paper | LibreCat-ID: 39585
Rammig, Franz Josef, and Wolfgang Müller. “ODICE: Object-Oriented Hardware Description in CAD Environment.” Proc. of the Ninth IFIP Symposium on CHDLs and Their Application, 1989.
LibreCat