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 W, Kleinjohann B. Tight Integration and Synchronization of Distributed Graphical Applications. In: Proceedings of the Seventh Annual Database Symposium. ; 1993.
LibreCat
1993 | Conference Paper | LibreCat-ID: 39580
Müller W. Approaching the Denotational Semantics of Behavioral VHDL Descriptions. In: Proc. of the 1st Asian Pacific Conference on Hardware Description Languages, Standards and Applications. ; 1993.
LibreCat
1993 | Conference Paper | LibreCat-ID: 39579
Müller W, Lehrenfeld G, Wiechers N. Parallel Validation of STEP Files. In: Proceedings of the 3nd EXPRESS User’s Group Conference. ; 1993.
LibreCat
1992 | Conference Paper | LibreCat-ID: 39582
Müller W, Kleinjohann B. The EXPRESS Information Modeling Workbench - A New Approach to Graphical Design Environments. In: Proceedings of the 2nd EXPRESS User’s Group Conference. ; 1992.
LibreCat
1991 | Conference Paper | LibreCat-ID: 39584
Müller W. Contract-Oriented System Design and Specification. In: Proceedings of the Workshop on Practical Computer Based Systems Engineering - Its Scope and Methods. ; 1991.
LibreCat
1991 | Conference Paper | LibreCat-ID: 39583
Lehrenfeld G, Müller W. Validation of EXPRESS Models Using Prolog. In: Proceedings of the 1st EXPRESS User’s Group Conference. ; 1991.
LibreCat
1989 | Conference Paper | LibreCat-ID: 39585
Rammig FJ, Müller W. ODICE: Object-Oriented Hardware Description in CAD Environment. In: Proc. of the Ninth IFIP Symposium on CHDLs and Their Application. ; 1989.
LibreCat